The cat chases the rabbit. The cat is big. The cat is cold. The cat likes the rabbit. The cat needs the rabbit. The rabbit chases the cat. The rabbit is not big. The rabbit is not kind. The rabbit likes the cat. The rabbit does not need the cat. If someone needs the cat then they like the cat. If the rabbit likes the cat then the rabbit is red.
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
The rabbit is not big.
("rabbit" "is" "big" "-")
The rabbit is not kind.
("rabbit" "is" "kind" "-")
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
The rabbit does not need the cat.
("rabbit" "needs" "cat" "-")
If someone needs the cat then they like the cat.
((("someone" "needs" "cat" "+")) -> ("someone" "likes" "cat" "+"))
If the rabbit likes the cat then the rabbit is red.
((("rabbit" "likes" "cat" "+")) -> ("rabbit" "is" "red" "+"))
The cat is cold.
True
1
proof
[(triple3)]
("cat" "is" "cold" "+")
triple3
The rabbit does not chase the cat.
False
1
inv-proof
[(triple6)]
("rabbit" "chases" "cat" "-")
triple6
The rabbit is red.
True
2
proof
[(((triple9) -> rule2))]
("rabbit" "is" "red" "+")
((triple9) -> (rule2 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is not red.
False
2
inv-proof
[(((triple9) -> rule2))]
("rabbit" "is" "red" "-")
((triple9) -> (rule2 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The cat does not like the cat.
Unknown
inv-rconc
[@1: The cat likes the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "likes" "cat" "-")
The cat is young.
Unknown
random
[@0: The cat is young.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "young" "+")
The rabbit is not young.
Unknown
inv-random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "-")
The cat is red.
Unknown
random
[@0: The cat is red.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "red" "+")
@0: The cat chases the rabbit.[(triple1)] The cat is big.[(triple2)] The cat is cold.[(triple3)] The cat likes the rabbit.[(triple4)] The cat needs the rabbit.[(triple5)] The rabbit chases the cat.[(triple6)] The rabbit does not need the cat.[(triple10)] The rabbit is not big.[(triple7)] The rabbit is not kind.[(triple8)] The rabbit likes the cat.[(triple9)] @1: The rabbit is red.[(((triple9) -> rule2))]
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple1
The cat is big.
("cat" "is" "big" "+")
triple2
The cat is cold.
("cat" "is" "cold" "+")
triple3
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
triple4
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple5
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
triple6
The rabbit does not need the cat.
("rabbit" "needs" "cat" "-")
triple10
The rabbit is not big.
("rabbit" "is" "big" "-")
triple7
The rabbit is not kind.
("rabbit" "is" "kind" "-")
triple8
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
triple9
The rabbit is red.
("rabbit" "is" "red" "+")
((triple9) -> (rule2 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1