The bear eats the rabbit. The bear visits the squirrel. The rabbit chases the bear. The rabbit chases the squirrel. The rabbit eats the squirrel. The rabbit is cold. The rabbit is green. The rabbit is rough. The rabbit visits the bear. The rabbit visits the squirrel. The squirrel chases the rabbit. The squirrel eats the bear. The squirrel eats the rabbit. The squirrel is round. The squirrel visits the bear. If someone visits the squirrel and they visit the rabbit then the squirrel is red. If someone visits the rabbit then they are round. If someone eats the rabbit then the rabbit is rough. If the squirrel eats the rabbit and the squirrel is round then the squirrel chases the bear. If the squirrel chases the bear then the bear is round. If someone chases the bear and the bear is round then they eat the bear. If someone chases the rabbit and they are red then they are cold. If someone visits the rabbit and they chase the rabbit then the rabbit is red.
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
If someone visits the squirrel and they visit the rabbit then the squirrel is red.
((("someone" "visits" "squirrel" "+") ("someone" "visits" "rabbit" "+")) -> ("squirrel" "is" "red" "+"))
If someone visits the rabbit then they are round.
((("someone" "visits" "rabbit" "+")) -> ("someone" "is" "round" "+"))
If someone eats the rabbit then the rabbit is rough.
((("someone" "eats" "rabbit" "+")) -> ("rabbit" "is" "rough" "+"))
If the squirrel eats the rabbit and the squirrel is round then the squirrel chases the bear.
((("squirrel" "eats" "rabbit" "+") ("squirrel" "is" "round" "+")) -> ("squirrel" "chases" "bear" "+"))
If the squirrel chases the bear then the bear is round.
((("squirrel" "chases" "bear" "+")) -> ("bear" "is" "round" "+"))
If someone chases the bear and the bear is round then they eat the bear.
((("someone" "chases" "bear" "+") ("bear" "is" "round" "+")) -> ("someone" "eats" "bear" "+"))
If someone chases the rabbit and they are red then they are cold.
((("someone" "chases" "rabbit" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone visits the rabbit and they chase the rabbit then the rabbit is red.
((("someone" "visits" "rabbit" "+") ("someone" "chases" "rabbit" "+")) -> ("rabbit" "is" "red" "+"))
The rabbit visits the bear.
True
1
proof
[(triple9)]
("rabbit" "visits" "bear" "+")
triple9
The bear does not eat the rabbit.
False
1
inv-proof
[(triple1)]
("bear" "eats" "rabbit" "-")
triple1
The squirrel chases the bear.
True
3
proof
[(((triple13 triple14) -> rule4))]
("squirrel" "chases" "bear" "+")
((triple13 triple14) -> (rule4 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The squirrel does not chase the bear.
False
3
inv-proof
[(((triple13 triple14) -> rule4))]
("squirrel" "chases" "bear" "-")
((triple13 triple14) -> (rule4 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The bear is round.
True
4
proof
[(((((triple13 triple14) -> rule4)) -> rule5))]
("bear" "is" "round" "+")
((((triple13 triple14) -> (rule4 % int2))) -> (rule5 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int2
The bear is not round.
False
4
inv-proof
[(((((triple13 triple14) -> rule4)) -> rule5))]
("bear" "is" "round" "-")
((((triple13 triple14) -> (rule4 % int2))) -> (rule5 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int2
The rabbit eats the bear.
True
6
proof
[(((triple3 ((((triple13 triple14) -> rule4)) -> rule5)) -> rule6))]
("rabbit" "eats" "bear" "+")
((triple3 ((((triple13 triple14) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int3
The rabbit does not eat the bear.
False
6
inv-proof
[(((triple3 ((((triple13 triple14) -> rule4)) -> rule5)) -> rule6))]
("rabbit" "eats" "bear" "-")
((triple3 ((((triple13 triple14) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int3
The bear does not eat the bear.
Unknown
inv-rconc
[@1: The bear eats the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "eats" "bear" "-")
The bear is cold.
Unknown
rconc
[@1: The bear is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bear" "is" "cold" "+")
The squirrel is not cold.
Unknown
inv-rconc
[@2: The squirrel is cold.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("squirrel" "is" "cold" "-")
The rabbit is round.
Unknown
rconc
[@1: The rabbit is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "is" "round" "+")
The bear does not visit the rabbit.
Unknown
inv-random
[@0: The bear visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "rabbit" "-")
The rabbit visits the rabbit.
Unknown
random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "+")
The squirrel does not eat the squirrel.
Unknown
inv-random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "-")
The squirrel is rough.
Unknown
random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "+")
@0: The bear eats the rabbit.[(triple1)] The bear visits the squirrel.[(triple2)] The rabbit chases the bear.[(triple3)] The rabbit chases the squirrel.[(triple4)] The rabbit eats the squirrel.[(triple5)] The rabbit is cold.[(triple6)] The rabbit is green.[(triple7)] The rabbit is rough.[(triple8 OR ((triple1) -> rule3) OR ((triple13) -> rule3))] The rabbit visits the bear.[(triple9)] The rabbit visits the squirrel.[(triple10)] The squirrel chases the rabbit.[(triple11)] The squirrel eats the bear.[(triple12 OR ((((triple13 triple14) -> rule4) ((((triple13 triple14) -> rule4)) -> rule5)) -> rule6))] The squirrel eats the rabbit.[(triple13)] The squirrel is round.[(triple14)] The squirrel visits the bear.[(triple15)] @1: The squirrel chases the bear.[(((triple13 triple14) -> rule4))] @2: The bear is round.[(((((triple13 triple14) -> rule4)) -> rule5))] @3: The rabbit eats the bear.[(((triple3 ((((triple13 triple14) -> rule4)) -> rule5)) -> rule6))]
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple1
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple2
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple3
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple4
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple5
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple6
The rabbit is green.
("rabbit" "is" "green" "+")
triple7
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple8
((triple1) -> (rule3 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
((triple13) -> (rule3 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple9
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple10
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple11
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple12
((((triple13 triple14) -> (rule4 % int3)) ((((triple13 triple14) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int3
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple13
The squirrel is round.
("squirrel" "is" "round" "+")
triple14
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple15
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
((triple13 triple14) -> (rule4 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The bear is round.
("bear" "is" "round" "+")
((((triple13 triple14) -> (rule4 % int2))) -> (rule5 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int2
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
((triple3 ((((triple13 triple14) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int3