The bear sees the rabbit. The cat is not blue. The cat likes the cow. The cat sees the rabbit. The cow does not eat the cat. The cow eats the rabbit. The cow is big. The cow likes the bear. The cow likes the rabbit. The cow sees the bear. The cow sees the rabbit. The rabbit eats the cat. The rabbit is cold. The rabbit is green. The rabbit sees the cat. If something is green then it eats the cow. Blue things are green.
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
The cat is not blue.
("cat" "is" "blue" "-")
The cat likes the cow.
("cat" "likes" "cow" "+")
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
The cow does not eat the cat.
("cow" "eats" "cat" "-")
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is big.
("cow" "is" "big" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The cow sees the bear.
("cow" "sees" "bear" "+")
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
If something is green then it eats the cow.
((("something" "is" "green" "+")) -> ("something" "eats" "cow" "+"))
Blue things are green.
((("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
The cow is big.
True
1
proof
[(triple7)]
("cow" "is" "big" "+")
triple7
The cow does not see the bear.
False
1
inv-proof
[(triple10)]
("cow" "sees" "bear" "-")
triple10
The rabbit eats the cow.
True
2
proof
[(((triple14) -> rule1))]
("rabbit" "eats" "cow" "+")
((triple14) -> (rule1 % int1))
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int1
The rabbit does not eat the cow.
False
2
inv-proof
[(((triple14) -> rule1))]
("rabbit" "eats" "cow" "-")
((triple14) -> (rule1 % int1))
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int1
The cow does not eat the cow.
Unknown
inv-rconc
[@2: The cow eats the cow.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("cow" "eats" "cow" "-")
The cat eats the cow.
Unknown
rconc
[@2: The cat eats the cow.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("cat" "eats" "cow" "+")
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 cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
@0: The bear sees the rabbit.[(triple1)] The cat is not blue.[(triple2)] The cat likes the cow.[(triple3)] The cat sees the rabbit.[(triple4)] The cow does not eat the cat.[(triple5)] The cow eats the rabbit.[(triple6)] The cow is big.[(triple7)] The cow likes the bear.[(triple8)] The cow likes the rabbit.[(triple9)] The cow sees the bear.[(triple10)] The cow sees the rabbit.[(triple11)] The rabbit eats the cat.[(triple12)] The rabbit is cold.[(triple13)] The rabbit is green.[(triple14)] The rabbit sees the cat.[(triple15)] @1: The rabbit eats the cow.[(((triple14) -> rule1))]
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple1
The cat is not blue.
("cat" "is" "blue" "-")
triple2
The cat likes the cow.
("cat" "likes" "cow" "+")
triple3
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
triple4
The cow does not eat the cat.
("cow" "eats" "cat" "-")
triple5
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple6
The cow is big.
("cow" "is" "big" "+")
triple7
The cow likes the bear.
("cow" "likes" "bear" "+")
triple8
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple9
The cow sees the bear.
("cow" "sees" "bear" "+")
triple10
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple11
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple12
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple13
The rabbit is green.
("rabbit" "is" "green" "+")
triple14
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
triple15
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
((triple14) -> (rule1 % int1))
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int1