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