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