Bob is blue. Bob is cold. Bob is furry. Bob is green. Bob is quiet. Bob is round. Bob is young. Charlie is green. Charlie is round. Charlie is young. Gary is blue. Gary is cold. Gary is furry. Gary is green. Gary is quiet. Furry, green things are young.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Furry, green things are young.
((("something" "is" "furry" "+") ("something" "is" "green" "+")) -> ("something" "is" "young" "+"))
Charlie is round.
True
1
proof
[(triple9)]
("Charlie" "is" "round" "+")
triple9
Bob is not cold.
False
1
inv-proof
[(triple2)]
("Bob" "is" "cold" "-")
triple2
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is green.[(triple4)] Bob is quiet.[(triple5)] Bob is round.[(triple6)] Bob is young.[(triple7 OR ((triple3 triple4) -> rule1))] Charlie is green.[(triple8)] Charlie is round.[(triple9)] Charlie is young.[(triple10)] Gary is blue.[(triple11)] Gary is cold.[(triple12)] Gary is furry.[(triple13)] Gary is green.[(triple14)] Gary is quiet.[(triple15)] @1: Gary is young.[(((triple13 triple14) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is furry.
("Bob" "is" "furry" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is quiet.
("Bob" "is" "quiet" "+")
triple5
Bob is round.
("Bob" "is" "round" "+")
triple6
Bob is young.
("Bob" "is" "young" "+")
triple7
((triple3 triple4) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
triple8
Charlie is round.
("Charlie" "is" "round" "+")
triple9
Charlie is young.
("Charlie" "is" "young" "+")
triple10
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is cold.
("Gary" "is" "cold" "+")
triple12
Gary is furry.
("Gary" "is" "furry" "+")
triple13
Gary is green.
("Gary" "is" "green" "+")
triple14
Gary is quiet.
("Gary" "is" "quiet" "+")
triple15
Gary is young.
("Gary" "is" "young" "+")
((triple13 triple14) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1