Charlie is big. Charlie is blue. Charlie is furry. Charlie is nice. Charlie is red. Charlie is young. Fiona is blue. Harry is blue. Harry is nice. Harry is white. Furry, big people are blue.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is white.
("Harry" "is" "white" "+")
Furry, big people are blue.
((("someone" "is" "furry" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Harry is blue.
True
1
proof
[(triple8)]
("Harry" "is" "blue" "+")
triple8
Charlie is not nice.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "nice" "-")
triple4
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Charlie is white.
Unknown
random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "+")
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2 OR ((triple3 triple1) -> rule1))] Charlie is furry.[(triple3)] Charlie is nice.[(triple4)] Charlie is red.[(triple5)] Charlie is young.[(triple6)] Fiona is blue.[(triple7)] Harry is blue.[(triple8)] Harry is nice.[(triple9)] Harry is white.[(triple10)]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
((triple3 triple1) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple5
Charlie is young.
("Charlie" "is" "young" "+")
triple6
Fiona is blue.
("Fiona" "is" "blue" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is white.
("Harry" "is" "white" "+")
triple10