The cat chases the lion. The cat eats the lion. The cat is blue. The cat is cold. The cat is nice. The cat is round. The cat needs the lion. The lion chases the cat. The lion eats the cat. The lion is blue. The lion is cold. The lion is kind. The lion is nice. The lion is round. The lion needs the cat. If something is kind and it does not eat the lion then it chases the cat.
The cat chases the lion.
("cat" "chases" "lion" "+")
The cat eats the lion.
("cat" "eats" "lion" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is round.
("cat" "is" "round" "+")
The cat needs the lion.
("cat" "needs" "lion" "+")
The lion chases the cat.
("lion" "chases" "cat" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is round.
("lion" "is" "round" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
If something is kind and it does not eat the lion then it chases the cat.
((("something" "is" "kind" "+") ("something" "eats" "lion" "~")) -> ("something" "chases" "cat" "+"))
The cat is blue.
True
1
proof
[(triple3)]
("cat" "is" "blue" "+")
triple3
The cat is not cold.
False
1
inv-proof
[(triple4)]
("cat" "is" "cold" "-")
triple4
The cat does not chase the cat.
Unknown
inv-rconc
[@1: The cat chases the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "chases" "cat" "-")
The lion eats the lion.
Unknown
random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "+")
@0: The cat chases the lion.[(triple1)] The cat eats the lion.[(triple2)] The cat is blue.[(triple3)] The cat is cold.[(triple4)] The cat is nice.[(triple5)] The cat is round.[(triple6)] The cat needs the lion.[(triple7)] The lion chases the cat.[(triple8)] The lion eats the cat.[(triple9)] The lion is blue.[(triple10)] The lion is cold.[(triple11)] The lion is kind.[(triple12)] The lion is nice.[(triple13)] The lion is round.[(triple14)] The lion needs the cat.[(triple15)]
The cat chases the lion.
("cat" "chases" "lion" "+")
triple1
The cat eats the lion.
("cat" "eats" "lion" "+")
triple2
The cat is blue.
("cat" "is" "blue" "+")
triple3
The cat is cold.
("cat" "is" "cold" "+")
triple4
The cat is nice.
("cat" "is" "nice" "+")
triple5
The cat is round.
("cat" "is" "round" "+")
triple6
The cat needs the lion.
("cat" "needs" "lion" "+")
triple7
The lion chases the cat.
("lion" "chases" "cat" "+")
triple8
The lion eats the cat.
("lion" "eats" "cat" "+")
triple9
The lion is blue.
("lion" "is" "blue" "+")
triple10
The lion is cold.
("lion" "is" "cold" "+")
triple11
The lion is kind.
("lion" "is" "kind" "+")
triple12
The lion is nice.
("lion" "is" "nice" "+")
triple13
The lion is round.
("lion" "is" "round" "+")
triple14
The lion needs the cat.
("lion" "needs" "cat" "+")
triple15