Charlie is green. Fiona is big. Fiona is green. Fiona is kind. Gary is furry. Gary is quiet. Gary is rough. All rough things are quiet. Kind, rough things are blue. All big, green things are rough.
Charlie is green.
("Charlie" "is" "green" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
All rough things are quiet.
((("something" "is" "rough" "+")) -> ("something" "is" "quiet" "+"))
Kind, rough things are blue.
((("something" "is" "kind" "+") ("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
All big, green things are rough.
((("something" "is" "big" "+") ("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
Gary is rough.
True
1
proof
[(triple7)]
("Gary" "is" "rough" "+")
triple7
Fiona is not big.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "big" "-")
triple2
Fiona is rough.
True
3
proof
[(((triple2 triple3) -> rule3))]
("Fiona" "is" "rough" "+")
((triple2 triple3) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is not rough.
False
3
inv-proof
[(((triple2 triple3) -> rule3))]
("Fiona" "is" "rough" "-")
((triple2 triple3) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is blue.
True
5
proof
[(((triple4 ((triple2 triple3) -> rule3)) -> rule2))]
("Fiona" "is" "blue" "+")
((triple4 ((triple2 triple3) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is not blue.
False
5
inv-proof
[(((triple4 ((triple2 triple3) -> rule3)) -> rule2))]
("Fiona" "is" "blue" "-")
((triple4 ((triple2 triple3) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Charlie is not quiet.
Unknown
inv-rconc
[@2: Charlie is quiet.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Charlie" "is" "quiet" "-")
Gary is blue.
Unknown
rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "blue" "+")
Charlie is not blue.
Unknown
inv-rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "blue" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
Fiona is not furry.
Unknown
inv-random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
@0: Charlie is green.[(triple1)] Fiona is big.[(triple2)] Fiona is green.[(triple3)] Fiona is kind.[(triple4)] Gary is furry.[(triple5)] Gary is quiet.[(triple6 OR ((triple7) -> rule1))] Gary is rough.[(triple7)] @1: Fiona is rough.[(((triple2 triple3) -> rule3))] @2: Fiona is blue.[(((triple4 ((triple2 triple3) -> rule3)) -> rule2))] Fiona is quiet.[(((((triple2 triple3) -> rule3)) -> rule1))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Fiona is big.
("Fiona" "is" "big" "+")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple3
Fiona is kind.
("Fiona" "is" "kind" "+")
triple4
Gary is furry.
("Gary" "is" "furry" "+")
triple5
Gary is quiet.
("Gary" "is" "quiet" "+")
triple6
((triple7) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple2 triple3) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple4 ((triple2 triple3) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((triple2 triple3) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2