The cat is blue. The cat likes the tiger. The cat needs the rabbit. The rabbit does not like the cat. The rabbit needs the tiger. The tiger does not like the rabbit. The tiger needs the cat. If someone likes the cat and they do not see the rabbit then the cat sees the tiger. If the rabbit sees the cat and the cat does not need the rabbit then the rabbit does not like the tiger. If someone likes the tiger and they are round then the tiger is round. If someone is cold then they do not need the cat. If the rabbit is big then the rabbit likes the cat. If someone needs the tiger then the tiger is young. If someone is cold then they are round. If someone likes the tiger and they like the cat then the tiger is cold.
The cat is blue.
("cat" "is" "blue" "+")
The cat likes the tiger.
("cat" "likes" "tiger" "+")
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The rabbit does not like the cat.
("rabbit" "likes" "cat" "-")
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
The tiger does not like the rabbit.
("tiger" "likes" "rabbit" "-")
The tiger needs the cat.
("tiger" "needs" "cat" "+")
If someone likes the cat and they do not see the rabbit then the cat sees the tiger.
((("someone" "likes" "cat" "+") ("someone" "sees" "rabbit" "~")) -> ("cat" "sees" "tiger" "+"))
If the rabbit sees the cat and the cat does not need the rabbit then the rabbit does not like the tiger.
((("rabbit" "sees" "cat" "+") ("cat" "needs" "rabbit" "~")) -> ("rabbit" "likes" "tiger" "-"))
If someone likes the tiger and they are round then the tiger is round.
((("someone" "likes" "tiger" "+") ("someone" "is" "round" "+")) -> ("tiger" "is" "round" "+"))
If someone is cold then they do not need the cat.
((("someone" "is" "cold" "+")) -> ("someone" "needs" "cat" "-"))
If the rabbit is big then the rabbit likes the cat.
((("rabbit" "is" "big" "+")) -> ("rabbit" "likes" "cat" "+"))
If someone needs the tiger then the tiger is young.
((("someone" "needs" "tiger" "+")) -> ("tiger" "is" "young" "+"))
If someone is cold then they are round.
((("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone likes the tiger and they like the cat then the tiger is cold.
((("someone" "likes" "tiger" "+") ("someone" "likes" "cat" "+")) -> ("tiger" "is" "cold" "+"))
The cat likes the tiger.
True
1
proof
[(triple2)]
("cat" "likes" "tiger" "+")
triple2
The cat is not blue.
False
1
inv-proof
[(triple1)]
("cat" "is" "blue" "-")
triple1
The tiger is young.
True
2
proof
[(((triple5) -> rule6))]
("tiger" "is" "young" "+")
((triple5) -> (rule6 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger is not young.
False
2
inv-proof
[(((triple5) -> rule6))]
("tiger" "is" "young" "-")
((triple5) -> (rule6 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The cat does not see the tiger.
Unknown
inv-rconc
[@1: The cat sees the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "sees" "tiger" "-")
The rabbit is round.
Unknown
rconc
[@1: The rabbit is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("rabbit" "is" "round" "+")
The tiger is not big.
Unknown
inv-random
[@0: The tiger is big.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "big" "-")
The cat likes the cat.
Unknown
random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "+")
@0: The cat is blue.[(triple1)] The cat likes the tiger.[(triple2)] The cat needs the rabbit.[(triple3)] The rabbit does not like the cat.[(triple4)] The rabbit needs the tiger.[(triple5)] The tiger does not like the rabbit.[(triple6)] The tiger needs the cat.[(triple7)] @1: The tiger is young.[(((triple5) -> rule6))]
The cat is blue.
("cat" "is" "blue" "+")
triple1
The cat likes the tiger.
("cat" "likes" "tiger" "+")
triple2
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple3
The rabbit does not like the cat.
("rabbit" "likes" "cat" "-")
triple4
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
triple5
The tiger does not like the rabbit.
("tiger" "likes" "rabbit" "-")
triple6
The tiger needs the cat.
("tiger" "needs" "cat" "+")
triple7
The tiger is young.
("tiger" "is" "young" "+")
((triple5) -> (rule6 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1