The cat chases the squirrel. The cat eats the squirrel. The squirrel chases the cat. If someone chases the cat then the cat needs the squirrel. If someone eats the squirrel then they are nice. All rough people are not nice. If someone chases the squirrel then they eat the cat. If someone is red and they chase the squirrel then they need the cat. If someone eats the cat and the cat chases the squirrel then the squirrel is nice. If someone eats the cat then the cat is kind. If someone eats the squirrel and the squirrel chases the cat then they need the squirrel.
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
If someone chases the cat then the cat needs the squirrel.
((("someone" "chases" "cat" "+")) -> ("cat" "needs" "squirrel" "+"))
If someone eats the squirrel then they are nice.
((("someone" "eats" "squirrel" "+")) -> ("someone" "is" "nice" "+"))
All rough people are not nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "-"))
If someone chases the squirrel then they eat the cat.
((("someone" "chases" "squirrel" "+")) -> ("someone" "eats" "cat" "+"))
If someone is red and they chase the squirrel then they need the cat.
((("someone" "is" "red" "+") ("someone" "chases" "squirrel" "+")) -> ("someone" "needs" "cat" "+"))
If someone eats the cat and the cat chases the squirrel then the squirrel is nice.
((("someone" "eats" "cat" "+") ("cat" "chases" "squirrel" "+")) -> ("squirrel" "is" "nice" "+"))
If someone eats the cat then the cat is kind.
((("someone" "eats" "cat" "+")) -> ("cat" "is" "kind" "+"))
If someone eats the squirrel and the squirrel chases the cat then they need the squirrel.
((("someone" "eats" "squirrel" "+") ("squirrel" "chases" "cat" "+")) -> ("someone" "needs" "squirrel" "+"))
The squirrel chases the cat.
True
1
proof
[(triple3)]
("squirrel" "chases" "cat" "+")
triple3
The cat does not eat the squirrel.
False
1
inv-proof
[(triple2)]
("cat" "eats" "squirrel" "-")
triple2
The cat eats the cat.
True
2
proof
[(((triple1) -> rule4))]
("cat" "eats" "cat" "+")
((triple1) -> (rule4 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat does not eat the cat.
False
2
inv-proof
[(((triple1) -> rule4))]
("cat" "eats" "cat" "-")
((triple1) -> (rule4 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The squirrel is nice.
True
4
proof
[(((((triple1) -> rule4) triple1) -> rule6))]
("squirrel" "is" "nice" "+")
((((triple1) -> (rule4 % int2)) triple1) -> (rule6 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
The squirrel is not nice.
False
4
inv-proof
[(((((triple1) -> rule4) triple1) -> rule6))]
("squirrel" "is" "nice" "-")
((((triple1) -> (rule4 % int2)) triple1) -> (rule6 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
The squirrel does not eat the cat.
Unknown
inv-rconc
[@1: The squirrel eats the cat.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "eats" "cat" "-")
The squirrel needs the cat.
Unknown
rconc
[@1: The squirrel needs the cat.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "needs" "cat" "+")
The squirrel does not need the squirrel.
Unknown
inv-rconc
[@1: The squirrel needs the squirrel.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("squirrel" "needs" "squirrel" "-")
The cat is red.
Unknown
random
[@0: The cat is red.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "red" "+")
The squirrel is not kind.
Unknown
inv-random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "-")
The squirrel is red.
Unknown
random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "+")
@0: The cat chases the squirrel.[(triple1)] The cat eats the squirrel.[(triple2)] The squirrel chases the cat.[(triple3)] @1: The cat eats the cat.[(((triple1) -> rule4))] The cat is nice.[(((triple2) -> rule2))] The cat needs the squirrel.[(((triple3) -> rule1) OR ((triple2 triple3) -> rule8))] @2: The cat is kind.[(((((triple1) -> rule4)) -> rule7))] The squirrel is nice.[(((((triple1) -> rule4) triple1) -> rule6))]
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple1
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple2
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple3
The cat eats the cat.
("cat" "eats" "cat" "+")
((triple1) -> (rule4 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
((triple2) -> (rule2 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
((triple3) -> (rule1 % int1))
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int1
((triple2 triple3) -> (rule8 % int1))
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
((((triple1) -> (rule4 % int2))) -> (rule7 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
The squirrel is nice.
("squirrel" "is" "nice" "+")
((((triple1) -> (rule4 % int2)) triple1) -> (rule6 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2