The bear eats the cat. The bear eats the rabbit. The bear is round. The bear is young. The bear visits the squirrel. The cat eats the rabbit. The cat is young. The cat likes the rabbit. The rabbit likes the bear. The squirrel visits the rabbit. If someone is rough and they like the cat then they like the bear. If someone eats the rabbit then they like the rabbit. If someone is red and they eat the cat then they are young.
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear is round.
("bear" "is" "round" "+")
The bear is young.
("bear" "is" "young" "+")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If someone is rough and they like the cat then they like the bear.
((("someone" "is" "rough" "+") ("someone" "likes" "cat" "+")) -> ("someone" "likes" "bear" "+"))
If someone eats the rabbit then they like the rabbit.
((("someone" "eats" "rabbit" "+")) -> ("someone" "likes" "rabbit" "+"))
If someone is red and they eat the cat then they are young.
((("someone" "is" "red" "+") ("someone" "eats" "cat" "+")) -> ("someone" "is" "young" "+"))
The cat is young.
True
1
proof
[(triple7)]
("cat" "is" "young" "+")
triple7
The bear does not eat the rabbit.
False
1
inv-proof
[(triple2)]
("bear" "eats" "rabbit" "-")
triple2
The bear likes the rabbit.
True
2
proof
[(((triple2) -> rule2))]
("bear" "likes" "rabbit" "+")
((triple2) -> (rule2 % int1))
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int1
The bear does not like the rabbit.
False
2
inv-proof
[(((triple2) -> rule2))]
("bear" "likes" "rabbit" "-")
((triple2) -> (rule2 % int1))
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int1
The cat does not like the bear.
Unknown
inv-rconc
[@1: The cat likes the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "likes" "bear" "-")
The rabbit likes the rabbit.
Unknown
rconc
[@1: The rabbit likes the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "likes" "rabbit" "+")
The cat is not rough.
Unknown
inv-random
[@0: The cat is rough.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "rough" "-")
The cat is cold.
Unknown
random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "+")
@0: The bear eats the cat.[(triple1)] The bear eats the rabbit.[(triple2)] The bear is round.[(triple3)] The bear is young.[(triple4)] The bear visits the squirrel.[(triple5)] The cat eats the rabbit.[(triple6)] The cat is young.[(triple7)] The cat likes the rabbit.[(triple8 OR ((triple6) -> rule2))] The rabbit likes the bear.[(triple9)] The squirrel visits the rabbit.[(triple10)] @1: The bear likes the rabbit.[(((triple2) -> rule2))]
The bear eats the cat.
("bear" "eats" "cat" "+")
triple1
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple2
The bear is round.
("bear" "is" "round" "+")
triple3
The bear is young.
("bear" "is" "young" "+")
triple4
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple5
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple6
The cat is young.
("cat" "is" "young" "+")
triple7
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
triple8
((triple6) -> (rule2 % int1))
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
int1
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple9
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple10
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
((triple2) -> (rule2 % int1))
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int1