The bear eats the cat. The bear is blue. The bear is rough. The bear sees the cat. The cat chases the rabbit. The cat eats the bear. The rabbit chases the cat. The rabbit does not chase the tiger. The rabbit eats the bear. The rabbit eats the cat. The rabbit is not red. The rabbit is not round. The rabbit does not see the cat. The rabbit does not see the tiger. The tiger is not cold. The tiger sees the rabbit. If the rabbit eats the tiger then the rabbit is not round. If someone eats the cat and the cat is red then the cat is not cold. If someone is rough and they eat the tiger then the tiger chases the bear. If someone chases the cat and they do not chase the tiger then they see the bear. If the bear does not chase the tiger then the bear eats the rabbit. If someone eats the tiger and the tiger is blue then the tiger chases the cat. If someone sees the tiger and the tiger is round then the tiger is cold. If someone chases the tiger then they are blue.
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear sees the cat.
("bear" "sees" "cat" "+")
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
The rabbit does not chase the tiger.
("rabbit" "chases" "tiger" "-")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit is not red.
("rabbit" "is" "red" "-")
The rabbit is not round.
("rabbit" "is" "round" "-")
The rabbit does not see the cat.
("rabbit" "sees" "cat" "-")
The rabbit does not see the tiger.
("rabbit" "sees" "tiger" "-")
The tiger is not cold.
("tiger" "is" "cold" "-")
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
If the rabbit eats the tiger then the rabbit is not round.
((("rabbit" "eats" "tiger" "+")) -> ("rabbit" "is" "round" "-"))
If someone eats the cat and the cat is red then the cat is not cold.
((("someone" "eats" "cat" "+") ("cat" "is" "red" "+")) -> ("cat" "is" "cold" "-"))
If someone is rough and they eat the tiger then the tiger chases the bear.
((("someone" "is" "rough" "+") ("someone" "eats" "tiger" "+")) -> ("tiger" "chases" "bear" "+"))
If someone chases the cat and they do not chase the tiger then they see the bear.
((("someone" "chases" "cat" "+") ("someone" "chases" "tiger" "~")) -> ("someone" "sees" "bear" "+"))
If the bear does not chase the tiger then the bear eats the rabbit.
((("bear" "chases" "tiger" "~")) -> ("bear" "eats" "rabbit" "+"))
If someone eats the tiger and the tiger is blue then the tiger chases the cat.
((("someone" "eats" "tiger" "+") ("tiger" "is" "blue" "+")) -> ("tiger" "chases" "cat" "+"))
If someone sees the tiger and the tiger is round then the tiger is cold.
((("someone" "sees" "tiger" "+") ("tiger" "is" "round" "+")) -> ("tiger" "is" "cold" "+"))
If someone chases the tiger then they are blue.
((("someone" "chases" "tiger" "+")) -> ("someone" "is" "blue" "+"))
The rabbit is not red.
True
1
proof
[(triple11)]
("rabbit" "is" "red" "-")
triple11
The rabbit does not eat the cat.
False
1
inv-proof
[(triple10)]
("rabbit" "eats" "cat" "-")
triple10
The rabbit sees the bear.
True
3
proof
[(((triple7 triple8) -> rule4))]
("rabbit" "sees" "bear" "+")
((triple7 triple8) -> (rule4 % int1))
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
int1
The rabbit does not see the bear.
False
3
inv-proof
[(((triple7 triple8) -> rule4))]
("rabbit" "sees" "bear" "-")
((triple7 triple8) -> (rule4 % int1))
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
int1
The cat does not see the bear.
Unknown
inv-rconc
[@1: The cat sees the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "sees" "bear" "-")
The cat is blue.
Unknown
rconc
[@1: The cat is blue.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cat" "is" "blue" "+")
The tiger does not chase the rabbit.
Unknown
inv-random
[@0: The tiger chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "rabbit" "-")
The cat chases the tiger.
Unknown
random
[@0: The cat chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "tiger" "+")
@0: The bear eats the cat.[(triple1)] The bear is blue.[(triple2)] The bear is rough.[(triple3)] The bear sees the cat.[(triple4)] The cat chases the rabbit.[(triple5)] The cat eats the bear.[(triple6)] The rabbit chases the cat.[(triple7)] The rabbit does not chase the tiger.[(triple8)] The rabbit does not see the cat.[(triple13)] The rabbit does not see the tiger.[(triple14)] The rabbit eats the bear.[(triple9)] The rabbit eats the cat.[(triple10)] The rabbit is not red.[(triple11)] The rabbit is not round.[(triple12)] The tiger is not cold.[(triple15)] The tiger sees the rabbit.[(triple16)] @1: The rabbit sees the bear.[(((triple7 triple8) -> rule4))]
The bear eats the cat.
("bear" "eats" "cat" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is rough.
("bear" "is" "rough" "+")
triple3
The bear sees the cat.
("bear" "sees" "cat" "+")
triple4
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple5
The cat eats the bear.
("cat" "eats" "bear" "+")
triple6
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
triple7
The rabbit does not chase the tiger.
("rabbit" "chases" "tiger" "-")
triple8
The rabbit does not see the cat.
("rabbit" "sees" "cat" "-")
triple13
The rabbit does not see the tiger.
("rabbit" "sees" "tiger" "-")
triple14
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple9
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple10
The rabbit is not red.
("rabbit" "is" "red" "-")
triple11
The rabbit is not round.
("rabbit" "is" "round" "-")
triple12
The tiger is not cold.
("tiger" "is" "cold" "-")
triple15
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
triple16
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
((triple7 triple8) -> (rule4 % int1))
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
int1