Charlie is not cold. Charlie is furry. Charlie is kind. Charlie is rough. Charlie is not white. Gary is cold. Gary is furry. Gary is nice. Gary is rough. Gary is white. Nice things are white. If something is white then it is furry. If Charlie is rough and Charlie is not white then Charlie is blue.
Charlie is not cold.
("Charlie" "is" "cold" "-")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is not white.
("Charlie" "is" "white" "-")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
Nice things are white.
((("something" "is" "nice" "+")) -> ("something" "is" "white" "+"))
If something is white then it is furry.
((("something" "is" "white" "+")) -> ("something" "is" "furry" "+"))
If Charlie is rough and Charlie is not white then Charlie is blue.
((("Charlie" "is" "rough" "+") ("Charlie" "is" "white" "~")) -> ("Charlie" "is" "blue" "+"))
Charlie is not cold.
True
1
proof
[(triple1)]
("Charlie" "is" "cold" "-")
triple1
Charlie is cold.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "cold" "+")
triple1
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
@0: Charlie is furry.[(triple2)] Charlie is kind.[(triple3)] Charlie is not cold.[(triple1)] Charlie is not white.[(triple5)] Charlie is rough.[(triple4)] Gary is cold.[(triple6)] Gary is furry.[(triple7 OR ((triple10) -> rule2) OR ((((triple8) -> rule1)) -> rule2))] Gary is nice.[(triple8)] Gary is rough.[(triple9)] Gary is white.[(triple10 OR ((triple8) -> rule1))] @1: Charlie is blue.[(((triple4 triple5) -> rule3))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is not cold.
("Charlie" "is" "cold" "-")
triple1
Charlie is not white.
("Charlie" "is" "white" "-")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Gary is cold.
("Gary" "is" "cold" "+")
triple6
Gary is furry.
("Gary" "is" "furry" "+")
triple7
((triple10) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((((triple8) -> (rule1 % int2))) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is white.
("Gary" "is" "white" "+")
triple10
((triple8) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple4 triple5) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1