Dave is red. Dave is rough. Fiona is green. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is white. Harry is cold. Harry is green. Harry is quiet. Harry is white. Harry is young. All quiet things are green. If something is white then it is rough. If something is rough and young then it is green.
Dave is red.
("Dave" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
All quiet things are green.
((("something" "is" "quiet" "+")) -> ("something" "is" "green" "+"))
If something is white then it is rough.
((("something" "is" "white" "+")) -> ("something" "is" "rough" "+"))
If something is rough and young then it is green.
((("something" "is" "rough" "+") ("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
Fiona is green.
True
1
proof
[(triple3 OR ((triple4) -> rule1))]
("Fiona" "is" "green" "+")
triple3
((triple4) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Harry is not quiet.
False
1
inv-proof
[(triple10)]
("Harry" "is" "quiet" "-")
triple10
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "green" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Dave is red.[(triple1)] Dave is rough.[(triple2)] Fiona is green.[(triple3 OR ((triple4) -> rule1))] Fiona is quiet.[(triple4)] Fiona is red.[(triple5)] Fiona is rough.[(triple6 OR ((triple7) -> rule2))] Fiona is white.[(triple7)] Harry is cold.[(triple8)] Harry is green.[(triple9 OR ((triple10) -> rule1) OR ((((triple11) -> rule2) triple12) -> rule3))] Harry is quiet.[(triple10)] Harry is white.[(triple11)] Harry is young.[(triple12)] @1: Harry is rough.[(((triple11) -> rule2))]
Dave is red.
("Dave" "is" "red" "+")
triple1
Dave is rough.
("Dave" "is" "rough" "+")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple3
((triple4) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple4
Fiona is red.
("Fiona" "is" "red" "+")
triple5
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6
((triple7) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple9
((triple10) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((((triple11) -> (rule2 % int2)) triple12) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
triple10
Harry is white.
("Harry" "is" "white" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple12
Harry is rough.
("Harry" "is" "rough" "+")
((triple11) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1