The cat chases the cow. The cat is red. The cat is round. The cat needs the cow. The cow needs the tiger. The cow sees the tiger. The rabbit chases the cat. The rabbit sees the cow. The tiger is red. The tiger sees the cat. If someone needs the cat and the cat needs the cow then the cow is nice.
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is round.
("cat" "is" "round" "+")
The cat needs the cow.
("cat" "needs" "cow" "+")
The cow needs the tiger.
("cow" "needs" "tiger" "+")
The cow sees the tiger.
("cow" "sees" "tiger" "+")
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger sees the cat.
("tiger" "sees" "cat" "+")
If someone needs the cat and the cat needs the cow then the cow is nice.
((("someone" "needs" "cat" "+") ("cat" "needs" "cow" "+")) -> ("cow" "is" "nice" "+"))
The cat is red.
True
1
proof
[(triple2)]
("cat" "is" "red" "+")
triple2
The rabbit does not chase the cat.
False
1
inv-proof
[(triple7)]
("rabbit" "chases" "cat" "-")
triple7
The cow is not nice.
Unknown
inv-rconc
[@1: The cow is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "nice" "-")
The rabbit is young.
Unknown
random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "+")
@0: The cat chases the cow.[(triple1)] The cat is red.[(triple2)] The cat is round.[(triple3)] The cat needs the cow.[(triple4)] The cow needs the tiger.[(triple5)] The cow sees the tiger.[(triple6)] The rabbit chases the cat.[(triple7)] The rabbit sees the cow.[(triple8)] The tiger is red.[(triple9)] The tiger sees the cat.[(triple10)]
The cat chases the cow.
("cat" "chases" "cow" "+")
triple1
The cat is red.
("cat" "is" "red" "+")
triple2
The cat is round.
("cat" "is" "round" "+")
triple3
The cat needs the cow.
("cat" "needs" "cow" "+")
triple4
The cow needs the tiger.
("cow" "needs" "tiger" "+")
triple5
The cow sees the tiger.
("cow" "sees" "tiger" "+")
triple6
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
triple7
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
triple8
The tiger is red.
("tiger" "is" "red" "+")
triple9
The tiger sees the cat.
("tiger" "sees" "cat" "+")
triple10