Charlie is green. Charlie is quiet. Charlie is rough. Charlie is smart. Fiona is green. Fiona is red. Fiona is smart. Gary is blue. Gary is red. Gary is rough. Harry is big. Harry is blue. Harry is quiet. Harry is red. Harry is rough. Harry is smart. If Gary is rough and Gary is red then Gary is big. Big, green things are red.
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If Gary is rough and Gary is red then Gary is big.
((("Gary" "is" "rough" "+") ("Gary" "is" "red" "+")) -> ("Gary" "is" "big" "+"))
Big, green things are red.
((("something" "is" "big" "+") ("something" "is" "green" "+")) -> ("something" "is" "red" "+"))
Harry is red.
True
1
proof
[(triple14)]
("Harry" "is" "red" "+")
triple14
Harry is not red.
False
1
inv-proof
[(triple14)]
("Harry" "is" "red" "-")
triple14
Gary is big.
True
3
proof
[(((triple10 triple9) -> rule1))]
("Gary" "is" "big" "+")
((triple10 triple9) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is not big.
False
3
inv-proof
[(((triple10 triple9) -> rule1))]
("Gary" "is" "big" "-")
((triple10 triple9) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "red" "-")
Gary is smart.
Unknown
random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Charlie is green.[(triple1)] Charlie is quiet.[(triple2)] Charlie is rough.[(triple3)] Charlie is smart.[(triple4)] Fiona is green.[(triple5)] Fiona is red.[(triple6)] Fiona is smart.[(triple7)] Gary is blue.[(triple8)] Gary is red.[(triple9)] Gary is rough.[(triple10)] Harry is big.[(triple11)] Harry is blue.[(triple12)] Harry is quiet.[(triple13)] Harry is red.[(triple14)] Harry is rough.[(triple15)] Harry is smart.[(triple16)] @1: Gary is big.[(((triple10 triple9) -> rule1))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Charlie is smart.
("Charlie" "is" "smart" "+")
triple4
Fiona is green.
("Fiona" "is" "green" "+")
triple5
Fiona is red.
("Fiona" "is" "red" "+")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is quiet.
("Harry" "is" "quiet" "+")
triple13
Harry is red.
("Harry" "is" "red" "+")
triple14
Harry is rough.
("Harry" "is" "rough" "+")
triple15
Harry is smart.
("Harry" "is" "smart" "+")
triple16
Gary is big.
("Gary" "is" "big" "+")
((triple10 triple9) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1