The bear eats the rabbit. The bear is kind. The bear is red. The bear is rough. The bear visits the rabbit. The cat chases the bear. The cat chases the rabbit. The cat eats the rabbit. The cat is nice. The cat visits the bear. The cat visits the rabbit. The rabbit chases the cat. The rabbit eats the bear. The rabbit eats the cat. The rabbit is big. The rabbit visits the bear. If something eats the rabbit then the rabbit visits the cat. If the cat visits the bear and the bear is kind then the cat is rough. If the cat eats the bear and the cat chases the rabbit then the bear is nice. If something chases the rabbit then it chases the cat. If something is big then it eats the rabbit. If something is rough then it eats the cat. If something visits the rabbit and it is red then the rabbit eats the bear. If something chases the cat then it is kind.
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
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 visits the bear.
("rabbit" "visits" "bear" "+")
If something eats the rabbit then the rabbit visits the cat.
((("something" "eats" "rabbit" "+")) -> ("rabbit" "visits" "cat" "+"))
If the cat visits the bear and the bear is kind then the cat is rough.
((("cat" "visits" "bear" "+") ("bear" "is" "kind" "+")) -> ("cat" "is" "rough" "+"))
If the cat eats the bear and the cat chases the rabbit then the bear is nice.
((("cat" "eats" "bear" "+") ("cat" "chases" "rabbit" "+")) -> ("bear" "is" "nice" "+"))
If something chases the rabbit then it chases the cat.
((("something" "chases" "rabbit" "+")) -> ("something" "chases" "cat" "+"))
If something is big then it eats the rabbit.
((("something" "is" "big" "+")) -> ("something" "eats" "rabbit" "+"))
If something is rough then it eats the cat.
((("something" "is" "rough" "+")) -> ("something" "eats" "cat" "+"))
If something visits the rabbit and it is red then the rabbit eats the bear.
((("something" "visits" "rabbit" "+") ("something" "is" "red" "+")) -> ("rabbit" "eats" "bear" "+"))
If something chases the cat then it is kind.
((("something" "chases" "cat" "+")) -> ("something" "is" "kind" "+"))
The rabbit eats the bear.
True
1
proof
[(triple13 OR ((triple5 triple3) -> rule7))]
("rabbit" "eats" "bear" "+")
triple13
((triple5 triple3) -> (rule7 % int1))
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int1
The cat does not eat the rabbit.
False
1
inv-proof
[(triple8)]
("cat" "eats" "rabbit" "-")
triple8
The cat chases the cat.
True
2
proof
[(((triple7) -> rule4))]
("cat" "chases" "cat" "+")
((triple7) -> (rule4 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat does not chase the cat.
False
2
inv-proof
[(((triple7) -> rule4))]
("cat" "chases" "cat" "-")
((triple7) -> (rule4 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat eats the cat.
True
4
proof
[(((((triple10 triple2) -> rule2)) -> rule6))]
("cat" "eats" "cat" "+")
((((triple10 triple2) -> (rule2 % int2))) -> (rule6 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is not kind.
False
3
inv-proof
[(((((triple7) -> rule4)) -> rule8))]
("cat" "is" "kind" "-")
((((triple7) -> (rule4 % int2))) -> (rule8 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2
The bear does not chase the cat.
Unknown
inv-rconc
[@1: The bear chases the cat.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "chases" "cat" "-")
The bear is nice.
Unknown
rconc
[@1: The bear is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "is" "nice" "+")
The bear is not big.
Unknown
inv-random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "-")
The rabbit chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
The rabbit does not chase the bear.
Unknown
inv-random
[@0: The rabbit chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "bear" "-")
The bear visits the cat.
Unknown
random
[@0: The bear visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "cat" "+")
@0: The bear eats the rabbit.[(triple1)] The bear is kind.[(triple2)] The bear is red.[(triple3)] The bear is rough.[(triple4)] The bear visits the rabbit.[(triple5)] The cat chases the bear.[(triple6)] The cat chases the rabbit.[(triple7)] The cat eats the rabbit.[(triple8)] The cat is nice.[(triple9)] The cat visits the bear.[(triple10)] The cat visits the rabbit.[(triple11)] The rabbit chases the cat.[(triple12)] The rabbit eats the bear.[(triple13 OR ((triple5 triple3) -> rule7))] The rabbit eats the cat.[(triple14)] The rabbit is big.[(triple15)] The rabbit visits the bear.[(triple16)] @1: The bear eats the cat.[(((triple4) -> rule6))] The cat chases the cat.[(((triple7) -> rule4))] The cat is rough.[(((triple10 triple2) -> rule2))] The rabbit eats the rabbit.[(((triple15) -> rule5))] The rabbit is kind.[(((triple12) -> rule8))] The rabbit visits the cat.[(((triple1) -> rule1) OR ((triple8) -> rule1) OR ((((triple15) -> rule5)) -> rule1))] @2: The cat eats the cat.[(((((triple10 triple2) -> rule2)) -> rule6))] The cat is kind.[(((((triple7) -> rule4)) -> rule8))]
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
The bear is red.
("bear" "is" "red" "+")
triple3
The bear is rough.
("bear" "is" "rough" "+")
triple4
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple5
The cat chases the bear.
("cat" "chases" "bear" "+")
triple6
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple7
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple8
The cat is nice.
("cat" "is" "nice" "+")
triple9
The cat visits the bear.
("cat" "visits" "bear" "+")
triple10
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple11
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
triple12
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple13
((triple5 triple3) -> (rule7 % int1))
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int1
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple14
The rabbit is big.
("rabbit" "is" "big" "+")
triple15
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple16
The bear eats the cat.
("bear" "eats" "cat" "+")
((triple4) -> (rule6 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
((triple7) -> (rule4 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
((triple10 triple2) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
((triple15) -> (rule5 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
((triple12) -> (rule8 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
((triple1) -> (rule1 % int1))
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
int1
((triple8) -> (rule1 % int1))
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
int1
((((triple15) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int2
The cat eats the cat.
("cat" "eats" "cat" "+")
((((triple10 triple2) -> (rule2 % int2))) -> (rule6 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
((((triple7) -> (rule4 % int2))) -> (rule8 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2