The cat chases the squirrel. The cat is blue. The cat is cold. The cat is red. The cat is round. The cat sees the squirrel. The cat visits the squirrel. The squirrel chases the cat. The squirrel is round. The squirrel sees the cat. If something is blue and it chases the squirrel then it is cold. If something sees the cat then the cat visits the squirrel. If something sees the squirrel then the squirrel is rough. If something sees the squirrel then the squirrel chases the cat. If the cat is red then the cat is rough. If something is cold and it visits the cat then the cat chases the squirrel.
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is round.
("cat" "is" "round" "+")
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
If something is blue and it chases the squirrel then it is cold.
((("something" "is" "blue" "+") ("something" "chases" "squirrel" "+")) -> ("something" "is" "cold" "+"))
If something sees the cat then the cat visits the squirrel.
((("something" "sees" "cat" "+")) -> ("cat" "visits" "squirrel" "+"))
If something sees the squirrel then the squirrel is rough.
((("something" "sees" "squirrel" "+")) -> ("squirrel" "is" "rough" "+"))
If something sees the squirrel then the squirrel chases the cat.
((("something" "sees" "squirrel" "+")) -> ("squirrel" "chases" "cat" "+"))
If the cat is red then the cat is rough.
((("cat" "is" "red" "+")) -> ("cat" "is" "rough" "+"))
If something is cold and it visits the cat then the cat chases the squirrel.
((("something" "is" "cold" "+") ("something" "visits" "cat" "+")) -> ("cat" "chases" "squirrel" "+"))
The cat is red.
True
1
proof
[(triple4)]
("cat" "is" "red" "+")
triple4
The cat does not chase the squirrel.
False
1
inv-proof
[(triple1)]
("cat" "chases" "squirrel" "-")
triple1
The squirrel is rough.
True
2
proof
[(((triple6) -> rule3))]
("squirrel" "is" "rough" "+")
((triple6) -> (rule3 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The cat is not rough.
False
2
inv-proof
[(((triple4) -> rule5))]
("cat" "is" "rough" "-")
((triple4) -> (rule5 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The squirrel is not cold.
Unknown
inv-rconc
[@1: The squirrel is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "cold" "-")
The squirrel is blue.
Unknown
random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "+")
The squirrel is not red.
Unknown
inv-random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "-")
The squirrel visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
@0: The cat chases the squirrel.[(triple1)] The cat is blue.[(triple2)] The cat is cold.[(triple3 OR ((triple2 triple1) -> rule1))] The cat is red.[(triple4)] The cat is round.[(triple5)] The cat sees the squirrel.[(triple6)] The cat visits the squirrel.[(triple7 OR ((triple10) -> rule2))] The squirrel chases the cat.[(triple8 OR ((triple6) -> rule4))] The squirrel is round.[(triple9)] The squirrel sees the cat.[(triple10)] @1: The cat is rough.[(((triple4) -> rule5))] The squirrel is rough.[(((triple6) -> rule3))]
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple1
The cat is blue.
("cat" "is" "blue" "+")
triple2
The cat is cold.
("cat" "is" "cold" "+")
triple3
((triple2 triple1) -> (rule1 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat is red.
("cat" "is" "red" "+")
triple4
The cat is round.
("cat" "is" "round" "+")
triple5
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple6
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
triple7
((triple10) -> (rule2 % int1))
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
int1
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple8
((triple6) -> (rule4 % int1))
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
triple9
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple10
The cat is rough.
("cat" "is" "rough" "+")
((triple4) -> (rule5 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
((triple6) -> (rule3 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1