The bear eats the rabbit. The bear likes the rabbit. The bear likes the squirrel. The bear visits the cat. The bear visits the squirrel. The cat visits the bear. The rabbit is big. The rabbit is nice. The rabbit visits the bear. The squirrel eats the bear. The squirrel is rough. The squirrel visits the cat. If something is kind then it is rough. If the rabbit likes the cat and the rabbit is nice then the rabbit eats the bear. If something is big then it visits the bear. If the cat eats the rabbit then the cat eats the squirrel. If something likes the bear then the bear is kind. If something visits the squirrel then the squirrel likes the bear. If something visits the bear then it eats the rabbit. If the squirrel likes the cat and the squirrel visits the rabbit then the cat is round.
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The bear visits the cat.
("bear" "visits" "cat" "+")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
If something is kind then it is rough.
((("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
If the rabbit likes the cat and the rabbit is nice then the rabbit eats the bear.
((("rabbit" "likes" "cat" "+") ("rabbit" "is" "nice" "+")) -> ("rabbit" "eats" "bear" "+"))
If something is big then it visits the bear.
((("something" "is" "big" "+")) -> ("something" "visits" "bear" "+"))
If the cat eats the rabbit then the cat eats the squirrel.
((("cat" "eats" "rabbit" "+")) -> ("cat" "eats" "squirrel" "+"))
If something likes the bear then the bear is kind.
((("something" "likes" "bear" "+")) -> ("bear" "is" "kind" "+"))
If something visits the squirrel then the squirrel likes the bear.
((("something" "visits" "squirrel" "+")) -> ("squirrel" "likes" "bear" "+"))
If something visits the bear then it eats the rabbit.
((("something" "visits" "bear" "+")) -> ("something" "eats" "rabbit" "+"))
If the squirrel likes the cat and the squirrel visits the rabbit then the cat is round.
((("squirrel" "likes" "cat" "+") ("squirrel" "visits" "rabbit" "+")) -> ("cat" "is" "round" "+"))
The bear visits the cat.
True
1
proof
[(triple4)]
("bear" "visits" "cat" "+")
triple4
The bear does not like the squirrel.
False
1
inv-proof
[(triple3)]
("bear" "likes" "squirrel" "-")
triple3
The squirrel likes the bear.
True
2
proof
[(((triple5) -> rule6))]
("squirrel" "likes" "bear" "+")
((triple5) -> (rule6 % int1))
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int1
The cat does not eat the rabbit.
False
2
inv-proof
[(((triple6) -> rule7))]
("cat" "eats" "rabbit" "-")
((triple6) -> (rule7 % int1))
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int1
The bear is kind.
True
3
proof
[(((((triple5) -> rule6)) -> rule5))]
("bear" "is" "kind" "+")
((((triple5) -> (rule6 % int2))) -> (rule5 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int2
The bear is not kind.
False
3
inv-proof
[(((((triple5) -> rule6)) -> rule5))]
("bear" "is" "kind" "-")
((((triple5) -> (rule6 % int2))) -> (rule5 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int2
The bear is rough.
True
4
proof
[(((((((triple5) -> rule6)) -> rule5)) -> rule1))]
("bear" "is" "rough" "+")
((((((triple5) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int3
The bear is not rough.
False
4
inv-proof
[(((((((triple5) -> rule6)) -> rule5)) -> rule1))]
("bear" "is" "rough" "-")
((((((triple5) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int3
The squirrel does not eat the rabbit.
Unknown
inv-rconc
[@2: The squirrel eats the rabbit.[CWA. Example of deepest failure = (rule7 <- rule3 <- FAIL)]]
("squirrel" "eats" "rabbit" "-")
The cat is rough.
Unknown
rconc
[@1: The cat is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "rough" "+")
The rabbit is not rough.
Unknown
inv-rconc
[@1: The rabbit is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "rough" "-")
The bear visits the bear.
Unknown
rconc
[@1: The bear visits the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "visits" "bear" "+")
The rabbit does not eat the cat.
Unknown
inv-random
[@0: The rabbit eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "cat" "-")
The rabbit visits the squirrel.
Unknown
random
[@0: The rabbit visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "squirrel" "+")
The rabbit is not round.
Unknown
inv-random
[@0: The rabbit is round.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "round" "-")
The bear is round.
Unknown
random
[@0: The bear is round.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "round" "+")
@0: The bear eats the rabbit.[(triple1)] The bear likes the rabbit.[(triple2)] The bear likes the squirrel.[(triple3)] The bear visits the cat.[(triple4)] The bear visits the squirrel.[(triple5)] The cat visits the bear.[(triple6)] The rabbit is big.[(triple7)] The rabbit is nice.[(triple8)] The rabbit visits the bear.[(triple9 OR ((triple7) -> rule3))] The squirrel eats the bear.[(triple10)] The squirrel is rough.[(triple11)] The squirrel visits the cat.[(triple12)] @1: The cat eats the rabbit.[(((triple6) -> rule7))] The rabbit eats the rabbit.[(((triple9) -> rule7) OR ((((triple7) -> rule3)) -> rule7))] The squirrel likes the bear.[(((triple5) -> rule6))] @2: The bear is kind.[(((((triple5) -> rule6)) -> rule5))] The cat eats the squirrel.[(((((triple6) -> rule7)) -> rule4))] @3: The bear is rough.[(((((((triple5) -> rule6)) -> rule5)) -> rule1))]
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple1
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple2
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple3
The bear visits the cat.
("bear" "visits" "cat" "+")
triple4
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple5
The cat visits the bear.
("cat" "visits" "bear" "+")
triple6
The rabbit is big.
("rabbit" "is" "big" "+")
triple7
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple8
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple9
((triple7) -> (rule3 % int1))
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int1
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple10
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple11
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple12
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
((triple6) -> (rule7 % int1))
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
((triple9) -> (rule7 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
((((triple7) -> (rule3 % int2))) -> (rule7 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int2
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
((triple5) -> (rule6 % int1))
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
((((triple5) -> (rule6 % int2))) -> (rule5 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int2
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
((((triple6) -> (rule7 % int2))) -> (rule4 % int1))
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int1
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
((((((triple5) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int3