The cow is round. The cow likes the rabbit. The cow visits the tiger. The rabbit is blue. The rabbit is red. The rabbit visits the cow. The rabbit visits the tiger. The tiger chases the rabbit. The tiger likes the cow. The tiger visits the rabbit. If someone likes the cow and the cow chases the rabbit then they like the tiger. If the tiger chases the rabbit and the rabbit visits the cow then the cow is big. If the tiger chases the rabbit then the tiger visits the cow. If someone is blue then they chase the tiger. If someone likes the rabbit then they like the tiger. If someone visits the cow then they like the cow. If someone is rough then they chase the tiger. If someone is red then they like the cow.
The cow is round.
("cow" "is" "round" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The cow visits the tiger.
("cow" "visits" "tiger" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
The tiger likes the cow.
("tiger" "likes" "cow" "+")
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
If someone likes the cow and the cow chases the rabbit then they like the tiger.
((("someone" "likes" "cow" "+") ("cow" "chases" "rabbit" "+")) -> ("someone" "likes" "tiger" "+"))
If the tiger chases the rabbit and the rabbit visits the cow then the cow is big.
((("tiger" "chases" "rabbit" "+") ("rabbit" "visits" "cow" "+")) -> ("cow" "is" "big" "+"))
If the tiger chases the rabbit then the tiger visits the cow.
((("tiger" "chases" "rabbit" "+")) -> ("tiger" "visits" "cow" "+"))
If someone is blue then they chase the tiger.
((("someone" "is" "blue" "+")) -> ("someone" "chases" "tiger" "+"))
If someone likes the rabbit then they like the tiger.
((("someone" "likes" "rabbit" "+")) -> ("someone" "likes" "tiger" "+"))
If someone visits the cow then they like the cow.
((("someone" "visits" "cow" "+")) -> ("someone" "likes" "cow" "+"))
If someone is rough then they chase the tiger.
((("someone" "is" "rough" "+")) -> ("someone" "chases" "tiger" "+"))
If someone is red then they like the cow.
((("someone" "is" "red" "+")) -> ("someone" "likes" "cow" "+"))
The tiger visits the rabbit.
True
1
proof
[(triple10)]
("tiger" "visits" "rabbit" "+")
triple10
The tiger does not visit the rabbit.
False
1
inv-proof
[(triple10)]
("tiger" "visits" "rabbit" "-")
triple10
The tiger does not chase the tiger.
Unknown
inv-rconc
[@1: The tiger chases the tiger.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("tiger" "chases" "tiger" "-")
The tiger is blue.
Unknown
random
[@0: The tiger is blue.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "blue" "+")
@0: The cow is round.[(triple1)] The cow likes the rabbit.[(triple2)] The cow visits the tiger.[(triple3)] The rabbit is blue.[(triple4)] The rabbit is red.[(triple5)] The rabbit visits the cow.[(triple6)] The rabbit visits the tiger.[(triple7)] The tiger chases the rabbit.[(triple8)] The tiger likes the cow.[(triple9 OR ((((triple8) -> rule3)) -> rule6))] The tiger visits the rabbit.[(triple10)] @1: The cow is big.[(((triple8 triple6) -> rule2))] The cow likes the tiger.[(((triple2) -> rule5))] The rabbit chases the tiger.[(((triple4) -> rule4))] The rabbit likes the cow.[(((triple5) -> rule8) OR ((triple6) -> rule6))] The tiger visits the cow.[(((triple8) -> rule3))]
The cow is round.
("cow" "is" "round" "+")
triple1
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple2
The cow visits the tiger.
("cow" "visits" "tiger" "+")
triple3
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple4
The rabbit is red.
("rabbit" "is" "red" "+")
triple5
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple6
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
triple7
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
triple8
The tiger likes the cow.
("tiger" "likes" "cow" "+")
triple9
((((triple8) -> (rule3 % int2))) -> (rule6 % int1))
The tiger likes the cow.
("tiger" "likes" "cow" "+")
int1
The tiger visits the cow.
("tiger" "visits" "cow" "+")
int2
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
triple10
The cow is big.
("cow" "is" "big" "+")
((triple8 triple6) -> (rule2 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow likes the tiger.
("cow" "likes" "tiger" "+")
((triple2) -> (rule5 % int1))
The cow likes the tiger.
("cow" "likes" "tiger" "+")
int1
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
((triple4) -> (rule4 % int1))
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int1
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
((triple5) -> (rule8 % int1))
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
int1
((triple6) -> (rule6 % int1))
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
int1
The tiger visits the cow.
("tiger" "visits" "cow" "+")
((triple8) -> (rule3 % int1))
The tiger visits the cow.
("tiger" "visits" "cow" "+")
int1