The cat eats the cow. The cat is round. The cat visits the rabbit. The cow eats the cat. The cow is blue. The cow is round. The cow visits the rabbit. The rabbit chases the cow. The rabbit is big. The rabbit is blue. If something is round and it visits the cat then it is kind.
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat is round.
("cat" "is" "round" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is round.
("cow" "is" "round" "+")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
If something is round and it visits the cat then it is kind.
((("something" "is" "round" "+") ("something" "visits" "cat" "+")) -> ("something" "is" "kind" "+"))
The rabbit chases the cow.
True
1
proof
[(triple8)]
("rabbit" "chases" "cow" "+")
triple8
The cow is not round.
False
1
inv-proof
[(triple6)]
("cow" "is" "round" "-")
triple6
The cat is not kind.
Unknown
inv-rconc
[@1: The cat is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "kind" "-")
The cow visits the cow.
Unknown
random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "+")
@0: The cat eats the cow.[(triple1)] The cat is round.[(triple2)] The cat visits the rabbit.[(triple3)] The cow eats the cat.[(triple4)] The cow is blue.[(triple5)] The cow is round.[(triple6)] The cow visits the rabbit.[(triple7)] The rabbit chases the cow.[(triple8)] The rabbit is big.[(triple9)] The rabbit is blue.[(triple10)]
The cat eats the cow.
("cat" "eats" "cow" "+")
triple1
The cat is round.
("cat" "is" "round" "+")
triple2
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple3
The cow eats the cat.
("cow" "eats" "cat" "+")
triple4
The cow is blue.
("cow" "is" "blue" "+")
triple5
The cow is round.
("cow" "is" "round" "+")
triple6
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple7
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
triple8
The rabbit is big.
("rabbit" "is" "big" "+")
triple9
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple10