The bear chases the cat. The bear does not eat the cat. The bear is not rough. The bear is round. The bear does not need the cat. The cat chases the bear. The cat eats the bear. The cat is red. The cat is rough. The cat needs the bear. If someone is blue and they chase the cat then they are nice. All red people are rough. If someone chases the cat and the cat is red then the cat is round. If someone is blue then they do not chase the bear. If someone is rough and blue then they eat the cat. If someone is round and blue then they need the bear. If someone eats the bear and the bear is round then they do not need the cat. If someone eats the cat and the cat is not rough then the cat eats the bear.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear does not eat the cat.
("bear" "eats" "cat" "-")
The bear is not rough.
("bear" "is" "rough" "-")
The bear is round.
("bear" "is" "round" "+")
The bear does not need the cat.
("bear" "needs" "cat" "-")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
If someone is blue and they chase the cat then they are nice.
((("someone" "is" "blue" "+") ("someone" "chases" "cat" "+")) -> ("someone" "is" "nice" "+"))
All red people are rough.
((("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone chases the cat and the cat is red then the cat is round.
((("someone" "chases" "cat" "+") ("cat" "is" "red" "+")) -> ("cat" "is" "round" "+"))
If someone is blue then they do not chase the bear.
((("someone" "is" "blue" "+")) -> ("someone" "chases" "bear" "-"))
If someone is rough and blue then they eat the cat.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "eats" "cat" "+"))
If someone is round and blue then they need the bear.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "needs" "bear" "+"))
If someone eats the bear and the bear is round then they do not need the cat.
((("someone" "eats" "bear" "+") ("bear" "is" "round" "+")) -> ("someone" "needs" "cat" "-"))
If someone eats the cat and the cat is not rough then the cat eats the bear.
((("someone" "eats" "cat" "+") ("cat" "is" "rough" "~")) -> ("cat" "eats" "bear" "+"))
The cat eats the bear.
True
1
proof
[(triple7)]
("cat" "eats" "bear" "+")
triple7
The bear does not chase the cat.
False
1
inv-proof
[(triple1)]
("bear" "chases" "cat" "-")
triple1
The cat does not need the cat.
True
3
proof
[(((triple7 triple4) -> rule7))]
("cat" "needs" "cat" "-")
((triple7 triple4) -> (rule7 % int1))
The cat does not need the cat.
("cat" "needs" "cat" "-")
int1
The cat is not round.
False
3
inv-proof
[(((triple1 triple8) -> rule3))]
("cat" "is" "round" "-")
((triple1 triple8) -> (rule3 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The cat does not eat the cat.
Unknown
inv-rconc
[@1: The cat eats the cat.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "eats" "cat" "-")
The cat is nice.
Unknown
rconc
[@1: The cat is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "nice" "+")
The bear does not chase the bear.
Unknown
inv-random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "-")
The bear is blue.
Unknown
random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "+")
@0: The bear chases the cat.[(triple1)] The bear does not eat the cat.[(triple2)] The bear does not need the cat.[(triple5)] The bear is not rough.[(triple3)] The bear is round.[(triple4)] The cat chases the bear.[(triple6)] The cat eats the bear.[(triple7)] The cat is red.[(triple8)] The cat is rough.[(triple9 OR ((triple8) -> rule2))] The cat needs the bear.[(triple10)] @1: The cat does not need the cat.[(((triple7 triple4) -> rule7))] The cat is round.[(((triple1 triple8) -> rule3))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear does not eat the cat.
("bear" "eats" "cat" "-")
triple2
The bear does not need the cat.
("bear" "needs" "cat" "-")
triple5
The bear is not rough.
("bear" "is" "rough" "-")
triple3
The bear is round.
("bear" "is" "round" "+")
triple4
The cat chases the bear.
("cat" "chases" "bear" "+")
triple6
The cat eats the bear.
("cat" "eats" "bear" "+")
triple7
The cat is red.
("cat" "is" "red" "+")
triple8
The cat is rough.
("cat" "is" "rough" "+")
triple9
((triple8) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
triple10
The cat does not need the cat.
("cat" "needs" "cat" "-")
((triple7 triple4) -> (rule7 % int1))
The cat does not need the cat.
("cat" "needs" "cat" "-")
int1
The cat is round.
("cat" "is" "round" "+")
((triple1 triple8) -> (rule3 % int1))
The cat is round.
("cat" "is" "round" "+")
int1