Bob is nice. Charlie is big. Gary is furry. If Bob is furry and Bob is rough then Bob is not big. Nice people are not cold.
Bob is nice.
("Bob" "is" "nice" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Gary is furry.
("Gary" "is" "furry" "+")
If Bob is furry and Bob is rough then Bob is not big.
((("Bob" "is" "furry" "+") ("Bob" "is" "rough" "+")) -> ("Bob" "is" "big" "-"))
Nice people are not cold.
((("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "-"))
Charlie is big.
True
1
proof
[(triple2)]
("Charlie" "is" "big" "+")
triple2
Bob is not nice.
False
1
inv-proof
[(triple1)]
("Bob" "is" "nice" "-")
triple1
Bob is not cold.
True
2
proof
[(((triple1) -> rule2))]
("Bob" "is" "cold" "-")
((triple1) -> (rule2 % int1))
Bob is not cold.
("Bob" "is" "cold" "-")
int1
Bob is cold.
False
2
inv-proof
[(((triple1) -> rule2))]
("Bob" "is" "cold" "+")
((triple1) -> (rule2 % int1))
Bob is not cold.
("Bob" "is" "cold" "-")
int1
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Bob is nice.[(triple1)] Charlie is big.[(triple2)] Gary is furry.[(triple3)] @1: Bob is not cold.[(((triple1) -> rule2))]
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple2
Gary is furry.
("Gary" "is" "furry" "+")
triple3
Bob is not cold.
("Bob" "is" "cold" "-")
((triple1) -> (rule2 % int1))
Bob is not cold.
("Bob" "is" "cold" "-")
int1