Charlie is furry. Charlie is green. Charlie is rough. Charlie is young. Fiona is big. Fiona is blue. Fiona is furry. Fiona is green. Fiona is not quiet. Fiona is rough. Fiona is young. Gary is furry. Gary is green. Gary is quiet. Gary is rough. Gary is young. If Fiona is blue then Fiona is furry. If Fiona is big then Fiona is green.
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is young.
("Gary" "is" "young" "+")
If Fiona is blue then Fiona is furry.
((("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "furry" "+"))
If Fiona is big then Fiona is green.
((("Fiona" "is" "big" "+")) -> ("Fiona" "is" "green" "+"))
Fiona is green.
True
1
proof
[(triple8 OR ((triple5) -> rule2))]
("Fiona" "is" "green" "+")
triple8
((triple5) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Charlie is not furry.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "furry" "-")
triple1
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
@0: Charlie is furry.[(triple1)] Charlie is green.[(triple2)] Charlie is rough.[(triple3)] Charlie is young.[(triple4)] Fiona is big.[(triple5)] Fiona is blue.[(triple6)] Fiona is furry.[(triple7 OR ((triple6) -> rule1))] Fiona is green.[(triple8 OR ((triple5) -> rule2))] Fiona is not quiet.[(triple9)] Fiona is rough.[(triple10)] Fiona is young.[(triple11)] Gary is furry.[(triple12)] Gary is green.[(triple13)] Gary is quiet.[(triple14)] Gary is rough.[(triple15)] Gary is young.[(triple16)]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Fiona is big.
("Fiona" "is" "big" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Fiona is furry.
("Fiona" "is" "furry" "+")
triple7
((triple6) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
triple8
((triple5) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple9
Fiona is rough.
("Fiona" "is" "rough" "+")
triple10
Fiona is young.
("Fiona" "is" "young" "+")
triple11
Gary is furry.
("Gary" "is" "furry" "+")
triple12
Gary is green.
("Gary" "is" "green" "+")
triple13
Gary is quiet.
("Gary" "is" "quiet" "+")
triple14
Gary is rough.
("Gary" "is" "rough" "+")
triple15
Gary is young.
("Gary" "is" "young" "+")
triple16