The cat eats the rabbit. The cat is nice. The cat needs the lion. The cat does not visit the lion. The cat visits the rabbit. The lion is big. The rabbit visits the cat. If someone is nice then they are cold.
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat needs the lion.
("cat" "needs" "lion" "+")
The cat does not visit the lion.
("cat" "visits" "lion" "-")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The lion is big.
("lion" "is" "big" "+")
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
If someone is nice then they are cold.
((("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
The cat needs the lion.
True
1
proof
[(triple3)]
("cat" "needs" "lion" "+")
triple3
The cat is not nice.
False
1
inv-proof
[(triple2)]
("cat" "is" "nice" "-")
triple2
The cat is cold.
True
2
proof
[(((triple2) -> rule1))]
("cat" "is" "cold" "+")
((triple2) -> (rule1 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat is not cold.
False
2
inv-proof
[(((triple2) -> rule1))]
("cat" "is" "cold" "-")
((triple2) -> (rule1 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The lion is not cold.
Unknown
inv-rconc
[@1: The lion is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "cold" "-")
The rabbit is cold.
Unknown
rconc
[@1: The rabbit is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "cold" "+")
The rabbit is not young.
Unknown
inv-random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "-")
The rabbit eats the lion.
Unknown
random
[@0: The rabbit eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "lion" "+")
@0: The cat does not visit the lion.[(triple4)] The cat eats the rabbit.[(triple1)] The cat is nice.[(triple2)] The cat needs the lion.[(triple3)] The cat visits the rabbit.[(triple5)] The lion is big.[(triple6)] The rabbit visits the cat.[(triple7)] @1: The cat is cold.[(((triple2) -> rule1))]
The cat does not visit the lion.
("cat" "visits" "lion" "-")
triple4
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple1
The cat is nice.
("cat" "is" "nice" "+")
triple2
The cat needs the lion.
("cat" "needs" "lion" "+")
triple3
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple5
The lion is big.
("lion" "is" "big" "+")
triple6
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
triple7
The cat is cold.
("cat" "is" "cold" "+")
((triple2) -> (rule1 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1