The cat is blue. The cat is kind. The cat is nice. The cat is rough. The cat is round. If someone is round and kind then they are nice.
The cat is blue.
("cat" "is" "blue" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is round.
("cat" "is" "round" "+")
If someone is round and kind then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
The cat is rough.
True
1
proof
[(triple4)]
("cat" "is" "rough" "+")
triple4
The cat is not round.
False
1
inv-proof
[(triple5)]
("cat" "is" "round" "-")
triple5
The cat does not eat the cat.
Unknown
inv-random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "-")
The cat likes the cat.
Unknown
random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "+")
@0: The cat is blue.[(triple1)] The cat is kind.[(triple2)] The cat is nice.[(triple3 OR ((triple5 triple2) -> rule1))] The cat is rough.[(triple4)] The cat is round.[(triple5)]
The cat is blue.
("cat" "is" "blue" "+")
triple1
The cat is kind.
("cat" "is" "kind" "+")
triple2
The cat is nice.
("cat" "is" "nice" "+")
triple3
((triple5 triple2) -> (rule1 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
triple4
The cat is round.
("cat" "is" "round" "+")
triple5