The cat chases the cow. The cat is not blue. The cat is red. The cat is round. The cat does not need the cow. The cat sees the cow. The cow chases the cat. The cow is blue. The cow is kind. The cow is red. The cow needs the cat. The cow sees the cat. If something sees the cow and it sees the cat then the cow is kind. If something is blue and it does not see the cow then it chases the cow. If something is blue and it chases the cow then the cow does not chase the cat.
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat is not blue.
("cat" "is" "blue" "-")
The cat is red.
("cat" "is" "red" "+")
The cat is round.
("cat" "is" "round" "+")
The cat does not need the cow.
("cat" "needs" "cow" "-")
The cat sees the cow.
("cat" "sees" "cow" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is red.
("cow" "is" "red" "+")
The cow needs the cat.
("cow" "needs" "cat" "+")
The cow sees the cat.
("cow" "sees" "cat" "+")
If something sees the cow and it sees the cat then the cow is kind.
((("something" "sees" "cow" "+") ("something" "sees" "cat" "+")) -> ("cow" "is" "kind" "+"))
If something is blue and it does not see the cow then it chases the cow.
((("something" "is" "blue" "+") ("something" "sees" "cow" "~")) -> ("something" "chases" "cow" "+"))
If something is blue and it chases the cow then the cow does not chase the cat.
((("something" "is" "blue" "+") ("something" "chases" "cow" "+")) -> ("cow" "chases" "cat" "-"))
The cat is not blue.
True
1
proof
[(triple2)]
("cat" "is" "blue" "-")
triple2
The cow is not kind.
False
1
inv-proof
[(triple9)]
("cow" "is" "kind" "-")
triple9
The cow does not chase the cow.
Unknown
inv-rconc
[@1: The cow chases the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "chases" "cow" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
@0: The cat chases the cow.[(triple1)] The cat does not need the cow.[(triple5)] The cat is not blue.[(triple2)] The cat is red.[(triple3)] The cat is round.[(triple4)] The cat sees the cow.[(triple6)] The cow chases the cat.[(triple7)] The cow is blue.[(triple8)] The cow is kind.[(triple9)] The cow is red.[(triple10)] The cow needs the cat.[(triple11)] The cow sees the cat.[(triple12)]
The cat chases the cow.
("cat" "chases" "cow" "+")
triple1
The cat does not need the cow.
("cat" "needs" "cow" "-")
triple5
The cat is not blue.
("cat" "is" "blue" "-")
triple2
The cat is red.
("cat" "is" "red" "+")
triple3
The cat is round.
("cat" "is" "round" "+")
triple4
The cat sees the cow.
("cat" "sees" "cow" "+")
triple6
The cow chases the cat.
("cow" "chases" "cat" "+")
triple7
The cow is blue.
("cow" "is" "blue" "+")
triple8
The cow is kind.
("cow" "is" "kind" "+")
triple9
The cow is red.
("cow" "is" "red" "+")
triple10
The cow needs the cat.
("cow" "needs" "cat" "+")
triple11
The cow sees the cat.
("cow" "sees" "cat" "+")
triple12