The cat chases the rabbit. The cat eats the cow. The cat is big. The cat is round. The cow chases the rabbit. The cow eats the cat. The cow eats the rabbit. The cow is nice. The cow sees the cat. The cow sees the rabbit. The rabbit does not chase the cat. The rabbit chases the cow. The rabbit eats the cat. The rabbit eats the cow. The rabbit sees the cow. If someone is big and not red then they eat the rabbit. If someone is big then they see the cat.
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is round.
("cat" "is" "round" "+")
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow sees the cat.
("cow" "sees" "cat" "+")
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The rabbit does not chase the cat.
("rabbit" "chases" "cat" "-")
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
If someone is big and not red then they eat the rabbit.
((("someone" "is" "big" "+") ("someone" "is" "red" "~")) -> ("someone" "eats" "rabbit" "+"))
If someone is big then they see the cat.
((("someone" "is" "big" "+")) -> ("someone" "sees" "cat" "+"))
The rabbit eats the cow.
True
1
proof
[(triple14)]
("rabbit" "eats" "cow" "+")
triple14
The rabbit does not see the cow.
False
1
inv-proof
[(triple15)]
("rabbit" "sees" "cow" "-")
triple15
The rabbit does not see the cat.
Unknown
inv-rconc
[@1: The rabbit sees the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "sees" "cat" "-")
The rabbit is big.
Unknown
random
[@0: The rabbit is big.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "big" "+")
@0: The cat chases the rabbit.[(triple1)] The cat eats the cow.[(triple2)] The cat is big.[(triple3)] The cat is round.[(triple4)] The cow chases the rabbit.[(triple5)] The cow eats the cat.[(triple6)] The cow eats the rabbit.[(triple7)] The cow is nice.[(triple8)] The cow sees the cat.[(triple9)] The cow sees the rabbit.[(triple10)] The rabbit chases the cow.[(triple12)] The rabbit does not chase the cat.[(triple11)] The rabbit eats the cat.[(triple13)] The rabbit eats the cow.[(triple14)] The rabbit sees the cow.[(triple15)] @1: The cat sees the cat.[(((triple3) -> rule2))]
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple1
The cat eats the cow.
("cat" "eats" "cow" "+")
triple2
The cat is big.
("cat" "is" "big" "+")
triple3
The cat is round.
("cat" "is" "round" "+")
triple4
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple5
The cow eats the cat.
("cow" "eats" "cat" "+")
triple6
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple7
The cow is nice.
("cow" "is" "nice" "+")
triple8
The cow sees the cat.
("cow" "sees" "cat" "+")
triple9
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple10
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
triple12
The rabbit does not chase the cat.
("rabbit" "chases" "cat" "-")
triple11
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple13
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple14
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
triple15
The cat sees the cat.
("cat" "sees" "cat" "+")
((triple3) -> (rule2 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1