The bear chases the cat. The bear eats the cat. The bear is green. The bear likes the cat. The bear likes the rabbit. The cat chases the bear. The cat eats the rabbit. The cat is cold. The cat likes the bear. The rabbit chases the bear. The rabbit chases the cat. The rabbit eats the bear. The rabbit eats the cat. The rabbit is big. The rabbit is kind. The rabbit likes the bear. If something likes the rabbit and it is kind then it eats the rabbit. If the rabbit likes the cat and the cat eats the rabbit then the cat is kind. If the cat eats the rabbit then the rabbit eats the cat. If something is young and it eats the cat then the cat likes the rabbit. If something chases the rabbit then it chases the cat. If something chases the rabbit then the rabbit likes the cat. If the cat eats the bear and the bear likes the rabbit then the rabbit chases the bear. If something is green then it chases the rabbit.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear is green.
("bear" "is" "green" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
If something likes the rabbit and it is kind then it eats the rabbit.
((("something" "likes" "rabbit" "+") ("something" "is" "kind" "+")) -> ("something" "eats" "rabbit" "+"))
If the rabbit likes the cat and the cat eats the rabbit then the cat is kind.
((("rabbit" "likes" "cat" "+") ("cat" "eats" "rabbit" "+")) -> ("cat" "is" "kind" "+"))
If the cat eats the rabbit then the rabbit eats the cat.
((("cat" "eats" "rabbit" "+")) -> ("rabbit" "eats" "cat" "+"))
If something is young and it eats the cat then the cat likes the rabbit.
((("something" "is" "young" "+") ("something" "eats" "cat" "+")) -> ("cat" "likes" "rabbit" "+"))
If something chases the rabbit then it chases the cat.
((("something" "chases" "rabbit" "+")) -> ("something" "chases" "cat" "+"))
If something chases the rabbit then the rabbit likes the cat.
((("something" "chases" "rabbit" "+")) -> ("rabbit" "likes" "cat" "+"))
If the cat eats the bear and the bear likes the rabbit then the rabbit chases the bear.
((("cat" "eats" "bear" "+") ("bear" "likes" "rabbit" "+")) -> ("rabbit" "chases" "bear" "+"))
If something is green then it chases the rabbit.
((("something" "is" "green" "+")) -> ("something" "chases" "rabbit" "+"))
The bear eats the cat.
True
1
proof
[(triple2)]
("bear" "eats" "cat" "+")
triple2
The bear does not chase the cat.
False
1
inv-proof
[(triple1 OR ((((triple3) -> rule8)) -> rule5))]
("bear" "chases" "cat" "-")
triple1
((((triple3) -> (rule8 % int2))) -> (rule5 % int1))
The bear chases the cat.
("bear" "chases" "cat" "+")
int1
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int2
The bear chases the rabbit.
True
2
proof
[(((triple3) -> rule8))]
("bear" "chases" "rabbit" "+")
((triple3) -> (rule8 % int1))
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int1
The bear does not chase the rabbit.
False
2
inv-proof
[(((triple3) -> rule8))]
("bear" "chases" "rabbit" "-")
((triple3) -> (rule8 % int1))
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int1
The rabbit likes the cat.
True
3
proof
[(((((triple3) -> rule8)) -> rule6))]
("rabbit" "likes" "cat" "+")
((((triple3) -> (rule8 % int2))) -> (rule6 % int1))
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int1
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int2
The rabbit does not like the cat.
False
3
inv-proof
[(((((triple3) -> rule8)) -> rule6))]
("rabbit" "likes" "cat" "-")
((((triple3) -> (rule8 % int2))) -> (rule6 % int1))
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int1
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int2
The cat is kind.
True
5
proof
[(((((((triple3) -> rule8)) -> rule6) triple7) -> rule2))]
("cat" "is" "kind" "+")
((((((triple3) -> (rule8 % int3))) -> (rule6 % int2)) triple7) -> (rule2 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int2
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int3
The cat is not kind.
False
5
inv-proof
[(((((((triple3) -> rule8)) -> rule6) triple7) -> rule2))]
("cat" "is" "kind" "-")
((((((triple3) -> (rule8 % int3))) -> (rule6 % int2)) triple7) -> (rule2 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int2
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int3
The cat does not like the rabbit.
Unknown
inv-rconc
[@1: The cat likes the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "likes" "rabbit" "-")
The rabbit eats the rabbit.
Unknown
rconc
[@1: The rabbit eats the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "eats" "rabbit" "+")
The rabbit does not chase the rabbit.
Unknown
inv-rconc
[@1: The rabbit chases the rabbit.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("rabbit" "chases" "rabbit" "-")
The cat chases the rabbit.
Unknown
rconc
[@1: The cat chases the rabbit.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cat" "chases" "rabbit" "+")
The rabbit is not green.
Unknown
inv-random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "-")
The rabbit is cold.
Unknown
random
[@0: The rabbit is cold.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "cold" "+")
The rabbit does not like the rabbit.
Unknown
inv-random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "-")
The cat is young.
Unknown
random
[@0: The cat is young.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "young" "+")
@0: The bear chases the cat.[(triple1 OR ((((triple3) -> rule8)) -> rule5))] The bear eats the cat.[(triple2)] The bear is green.[(triple3)] The bear likes the cat.[(triple4)] The bear likes the rabbit.[(triple5)] The cat chases the bear.[(triple6)] The cat eats the rabbit.[(triple7)] The cat is cold.[(triple8)] The cat likes the bear.[(triple9)] The rabbit chases the bear.[(triple10)] The rabbit chases the cat.[(triple11)] The rabbit eats the bear.[(triple12)] The rabbit eats the cat.[(triple13 OR ((triple7) -> rule3))] The rabbit is big.[(triple14)] The rabbit is kind.[(triple15)] The rabbit likes the bear.[(triple16)] @1: The bear chases the rabbit.[(((triple3) -> rule8))] @2: The rabbit likes the cat.[(((((triple3) -> rule8)) -> rule6))] @3: The cat is kind.[(((((((triple3) -> rule8)) -> rule6) triple7) -> rule2))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
((((triple3) -> (rule8 % int2))) -> (rule5 % int1))
The bear chases the cat.
("bear" "chases" "cat" "+")
int1
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int2
The bear eats the cat.
("bear" "eats" "cat" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
triple3
The bear likes the cat.
("bear" "likes" "cat" "+")
triple4
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple5
The cat chases the bear.
("cat" "chases" "bear" "+")
triple6
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple7
The cat is cold.
("cat" "is" "cold" "+")
triple8
The cat likes the bear.
("cat" "likes" "bear" "+")
triple9
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple10
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
triple11
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple12
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple13
((triple7) -> (rule3 % int1))
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
triple14
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple15
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple16
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
((triple3) -> (rule8 % int1))
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int1
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
((((triple3) -> (rule8 % int2))) -> (rule6 % int1))
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int1
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
((((((triple3) -> (rule8 % int3))) -> (rule6 % int2)) triple7) -> (rule2 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int2
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int3