Charlie is big. Charlie is furry. Charlie is nice. Charlie is rough. Charlie is young. Gary is blue. Gary is nice. Gary is red. Harry is blue. Harry is nice. Harry is red. Harry is rough. If someone is furry and red then they are nice. All rough people are big. Rough, furry people are blue.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If someone is furry and red then they are nice.
((("someone" "is" "furry" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
All rough people are big.
((("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
Rough, furry people are blue.
((("someone" "is" "rough" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "blue" "+"))
Gary is nice.
True
1
proof
[(triple7)]
("Gary" "is" "nice" "+")
triple7
Gary is not red.
False
1
inv-proof
[(triple8)]
("Gary" "is" "red" "-")
triple8
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "big" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Charlie is big.[(triple1 OR ((triple4) -> rule2))] Charlie is furry.[(triple2)] Charlie is nice.[(triple3)] Charlie is rough.[(triple4)] Charlie is young.[(triple5)] Gary is blue.[(triple6)] Gary is nice.[(triple7)] Gary is red.[(triple8)] Harry is blue.[(triple9)] Harry is nice.[(triple10)] Harry is red.[(triple11)] Harry is rough.[(triple12)] @1: Charlie is blue.[(((triple4 triple2) -> rule3))] Harry is big.[(((triple12) -> rule2))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
((triple4) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple8
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is red.
("Harry" "is" "red" "+")
triple11
Harry is rough.
("Harry" "is" "rough" "+")
triple12
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple4 triple2) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple12) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1