Bob is not blue. Bob is furry. Bob is kind. Bob is red. Bob is not rough. Charlie is furry. Charlie is rough. If Charlie is furry then Charlie is red.
Bob is not blue.
("Bob" "is" "blue" "-")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is not rough.
("Bob" "is" "rough" "-")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
If Charlie is furry then Charlie is red.
((("Charlie" "is" "furry" "+")) -> ("Charlie" "is" "red" "+"))
Charlie is rough.
True
1
proof
[(triple7)]
("Charlie" "is" "rough" "+")
triple7
Charlie is not furry.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "furry" "-")
triple6
Charlie is red.
True
2
proof
[(((triple6) -> rule1))]
("Charlie" "is" "red" "+")
((triple6) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is not red.
False
2
inv-proof
[(((triple6) -> rule1))]
("Charlie" "is" "red" "-")
((triple6) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Bob is furry.[(triple2)] Bob is kind.[(triple3)] Bob is not blue.[(triple1)] Bob is not rough.[(triple5)] Bob is red.[(triple4)] Charlie is furry.[(triple6)] Charlie is rough.[(triple7)] @1: Charlie is red.[(((triple6) -> rule1))]
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is not blue.
("Bob" "is" "blue" "-")
triple1
Bob is not rough.
("Bob" "is" "rough" "-")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple4
Charlie is furry.
("Charlie" "is" "furry" "+")
triple6
Charlie is rough.
("Charlie" "is" "rough" "+")
triple7
Charlie is red.
("Charlie" "is" "red" "+")
((triple6) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1