The cat is blue. The cat is young. The cat likes the rabbit. The rabbit is blue. The rabbit is cold. The rabbit is kind. The rabbit is young. The rabbit likes the cat. The rabbit needs the cat. The rabbit sees the cat. If someone sees the rabbit and the rabbit sees the cat then the cat is cold. If someone likes the cat and the cat likes the rabbit then the cat sees the rabbit.
The cat is blue.
("cat" "is" "blue" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
If someone sees the rabbit and the rabbit sees the cat then the cat is cold.
((("someone" "sees" "rabbit" "+") ("rabbit" "sees" "cat" "+")) -> ("cat" "is" "cold" "+"))
If someone likes the cat and the cat likes the rabbit then the cat sees the rabbit.
((("someone" "likes" "cat" "+") ("cat" "likes" "rabbit" "+")) -> ("cat" "sees" "rabbit" "+"))
The cat is young.
True
1
proof
[(triple2)]
("cat" "is" "young" "+")
triple2
The rabbit does not see the cat.
False
1
inv-proof
[(triple10)]
("rabbit" "sees" "cat" "-")
triple10
The cat sees the rabbit.
True
3
proof
[(((triple8 triple3) -> rule2))]
("cat" "sees" "rabbit" "+")
((triple8 triple3) -> (rule2 % int1))
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int1
The cat does not see the rabbit.
False
3
inv-proof
[(((triple8 triple3) -> rule2))]
("cat" "sees" "rabbit" "-")
((triple8 triple3) -> (rule2 % int1))
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int1
The cat is cold.
True
5
proof
[(((((triple8 triple3) -> rule2) triple10) -> rule1))]
("cat" "is" "cold" "+")
((((triple8 triple3) -> (rule2 % int2)) triple10) -> (rule1 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int2
The cat is not cold.
False
5
inv-proof
[(((((triple8 triple3) -> rule2) triple10) -> rule1))]
("cat" "is" "cold" "-")
((((triple8 triple3) -> (rule2 % int2)) triple10) -> (rule1 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int2
The rabbit does not see the rabbit.
Unknown
inv-random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
The cat is not kind.
Unknown
inv-random
[@0: The cat is kind.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "kind" "-")
The cat needs the rabbit.
Unknown
random
[@0: The cat needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "rabbit" "+")
The cat does not see the cat.
Unknown
inv-random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "-")
The cat is rough.
Unknown
random
[@0: The cat is rough.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "rough" "+")
@0: The cat is blue.[(triple1)] The cat is young.[(triple2)] The cat likes the rabbit.[(triple3)] The rabbit is blue.[(triple4)] The rabbit is cold.[(triple5)] The rabbit is kind.[(triple6)] The rabbit is young.[(triple7)] The rabbit likes the cat.[(triple8)] The rabbit needs the cat.[(triple9)] The rabbit sees the cat.[(triple10)] @1: The cat sees the rabbit.[(((triple8 triple3) -> rule2))] @2: The cat is cold.[(((((triple8 triple3) -> rule2) triple10) -> rule1))]
The cat is blue.
("cat" "is" "blue" "+")
triple1
The cat is young.
("cat" "is" "young" "+")
triple2
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
triple3
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple4
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple5
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple6
The rabbit is young.
("rabbit" "is" "young" "+")
triple7
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
triple8
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
triple9
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
triple10
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
((triple8 triple3) -> (rule2 % int1))
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
((((triple8 triple3) -> (rule2 % int2)) triple10) -> (rule1 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int2