The cat is cold. The cat is green. The cat is kind. The cat is nice. The cat is young. Green people are kind.
The cat is cold.
("cat" "is" "cold" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is young.
("cat" "is" "young" "+")
Green people are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
The cat is kind.
True
1
proof
[(triple3 OR ((triple2) -> rule1))]
("cat" "is" "kind" "+")
triple3
((triple2) -> (rule1 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat is not cold.
False
1
inv-proof
[(triple1)]
("cat" "is" "cold" "-")
triple1
The cat does not visit the cat.
Unknown
inv-random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "-")
The cat eats the cat.
Unknown
random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "+")
@0: The cat is cold.[(triple1)] The cat is green.[(triple2)] The cat is kind.[(triple3 OR ((triple2) -> rule1))] The cat is nice.[(triple4)] The cat is young.[(triple5)]
The cat is cold.
("cat" "is" "cold" "+")
triple1
The cat is green.
("cat" "is" "green" "+")
triple2
The cat is kind.
("cat" "is" "kind" "+")
triple3
((triple2) -> (rule1 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
triple4
The cat is young.
("cat" "is" "young" "+")
triple5