The cat is blue. The cat is green. The cat is rough. The cat is round. The cat is young. If someone is young then they are blue. If someone is young then they are rough.
The cat is blue.
("cat" "is" "blue" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is round.
("cat" "is" "round" "+")
The cat is young.
("cat" "is" "young" "+")
If someone is young then they are blue.
((("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is young then they are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
The cat is blue.
True
1
proof
[(triple1 OR ((triple5) -> rule1))]
("cat" "is" "blue" "+")
triple1
((triple5) -> (rule1 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is not round.
False
1
inv-proof
[(triple4)]
("cat" "is" "round" "-")
triple4
The cat does not chase the cat.
Unknown
inv-random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "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 blue.[(triple1 OR ((triple5) -> rule1))] The cat is green.[(triple2)] The cat is rough.[(triple3 OR ((triple5) -> rule2))] The cat is round.[(triple4)] The cat is young.[(triple5)]
The cat is blue.
("cat" "is" "blue" "+")
triple1
((triple5) -> (rule1 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is green.
("cat" "is" "green" "+")
triple2
The cat is rough.
("cat" "is" "rough" "+")
triple3
((triple5) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is round.
("cat" "is" "round" "+")
triple4
The cat is young.
("cat" "is" "young" "+")
triple5