The bear chases the cat. The bear is cold. The cat is green. The mouse is cold. The mouse is rough. The rabbit chases the cat. The rabbit is cold. If someone needs the cat and the cat is round then they like the bear. If someone likes the bear then the bear chases the cat. Cold people are blue. Blue people are round. If the bear chases the mouse and the bear needs the mouse then the mouse needs the bear. If the cat likes the mouse then the cat chases the rabbit. If someone needs the mouse and the mouse chases the cat then the mouse likes the cat. If someone needs the bear then they are green.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear is cold.
("bear" "is" "cold" "+")
The cat is green.
("cat" "is" "green" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
If someone needs the cat and the cat is round then they like the bear.
((("someone" "needs" "cat" "+") ("cat" "is" "round" "+")) -> ("someone" "likes" "bear" "+"))
If someone likes the bear then the bear chases the cat.
((("someone" "likes" "bear" "+")) -> ("bear" "chases" "cat" "+"))
Cold people are blue.
((("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
Blue people are round.
((("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If the bear chases the mouse and the bear needs the mouse then the mouse needs the bear.
((("bear" "chases" "mouse" "+") ("bear" "needs" "mouse" "+")) -> ("mouse" "needs" "bear" "+"))
If the cat likes the mouse then the cat chases the rabbit.
((("cat" "likes" "mouse" "+")) -> ("cat" "chases" "rabbit" "+"))
If someone needs the mouse and the mouse chases the cat then the mouse likes the cat.
((("someone" "needs" "mouse" "+") ("mouse" "chases" "cat" "+")) -> ("mouse" "likes" "cat" "+"))
If someone needs the bear then they are green.
((("someone" "needs" "bear" "+")) -> ("someone" "is" "green" "+"))
The bear chases the cat.
True
1
proof
[(triple1)]
("bear" "chases" "cat" "+")
triple1
The rabbit does not chase the cat.
False
1
inv-proof
[(triple6)]
("rabbit" "chases" "cat" "-")
triple6
The mouse is blue.
True
2
proof
[(((triple4) -> rule3))]
("mouse" "is" "blue" "+")
((triple4) -> (rule3 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The rabbit is not blue.
False
2
inv-proof
[(((triple7) -> rule3))]
("rabbit" "is" "blue" "-")
((triple7) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The mouse is round.
True
3
proof
[(((((triple4) -> rule3)) -> rule4))]
("mouse" "is" "round" "+")
((((triple4) -> (rule3 % int2))) -> (rule4 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The bear is not round.
False
3
inv-proof
[(((((triple2) -> rule3)) -> rule4))]
("bear" "is" "round" "-")
((((triple2) -> (rule3 % int2))) -> (rule4 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The mouse does not like the cat.
Unknown
inv-rconc
[@1: The mouse likes the cat.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("mouse" "likes" "cat" "-")
The cat chases the rabbit.
Unknown
rconc
[@1: The cat chases the rabbit.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "chases" "rabbit" "+")
The cat does not like the bear.
Unknown
inv-rconc
[@1: The cat likes the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "likes" "bear" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
The mouse does not like the mouse.
Unknown
inv-random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "-")
The bear chases the rabbit.
Unknown
random
[@0: The bear chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "rabbit" "+")
@0: The bear chases the cat.[(triple1)] The bear is cold.[(triple2)] The cat is green.[(triple3)] The mouse is cold.[(triple4)] The mouse is rough.[(triple5)] The rabbit chases the cat.[(triple6)] The rabbit is cold.[(triple7)] @1: The bear is blue.[(((triple2) -> rule3))] The mouse is blue.[(((triple4) -> rule3))] The rabbit is blue.[(((triple7) -> rule3))] @2: The bear is round.[(((((triple2) -> rule3)) -> rule4))] The mouse is round.[(((((triple4) -> rule3)) -> rule4))] The rabbit is round.[(((((triple7) -> rule3)) -> rule4))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The cat is green.
("cat" "is" "green" "+")
triple3
The mouse is cold.
("mouse" "is" "cold" "+")
triple4
The mouse is rough.
("mouse" "is" "rough" "+")
triple5
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
triple6
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple7
The bear is blue.
("bear" "is" "blue" "+")
((triple2) -> (rule3 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
((triple4) -> (rule3 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
((triple7) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The bear is round.
("bear" "is" "round" "+")
((((triple2) -> (rule3 % int2))) -> (rule4 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The mouse is round.
("mouse" "is" "round" "+")
((((triple4) -> (rule3 % int2))) -> (rule4 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
((((triple7) -> (rule3 % int2))) -> (rule4 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2