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