The cat eats the rabbit. The cat is not kind. The cat is not red. The cat is round. The cat likes the rabbit. The cat needs the rabbit. The rabbit eats the cat. The rabbit is green. The rabbit is red. The rabbit is young. The rabbit likes the cat. The rabbit does not need the cat. If someone is round then they like the cat. If someone is young then they are kind. If someone is kind and red then they do not need the rabbit.
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat is not kind.
("cat" "is" "kind" "-")
The cat is not red.
("cat" "is" "red" "-")
The cat is round.
("cat" "is" "round" "+")
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
The rabbit does not need the cat.
("rabbit" "needs" "cat" "-")
If someone is round then they like the cat.
((("someone" "is" "round" "+")) -> ("someone" "likes" "cat" "+"))
If someone is young then they are kind.
((("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and red then they do not need the rabbit.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "needs" "rabbit" "-"))
The rabbit eats the cat.
True
1
proof
[(triple7)]
("rabbit" "eats" "cat" "+")
triple7
The rabbit is not red.
False
1
inv-proof
[(triple9)]
("rabbit" "is" "red" "-")
triple9
The rabbit is kind.
True
2
proof
[(((triple10) -> rule2))]
("rabbit" "is" "kind" "+")
((triple10) -> (rule2 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit is not kind.
False
2
inv-proof
[(((triple10) -> rule2))]
("rabbit" "is" "kind" "-")
((triple10) -> (rule2 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit does not need the rabbit.
True
4
proof
[(((((triple10) -> rule2) triple9) -> rule3))]
("rabbit" "needs" "rabbit" "-")
((((triple10) -> (rule2 % int2)) triple9) -> (rule3 % int1))
The rabbit does not need the rabbit.
("rabbit" "needs" "rabbit" "-")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The rabbit needs the rabbit.
False
4
inv-proof
[(((((triple10) -> rule2) triple9) -> rule3))]
("rabbit" "needs" "rabbit" "+")
((((triple10) -> (rule2 % int2)) triple9) -> (rule3 % int1))
The rabbit does not need the rabbit.
("rabbit" "needs" "rabbit" "-")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The cat is not green.
Unknown
inv-random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "-")
The rabbit likes the rabbit.
Unknown
random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "+")
The cat does not eat the cat.
Unknown
inv-random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
The cat does not need the cat.
Unknown
inv-random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "-")
The rabbit is round.
Unknown
random
[@0: The rabbit is round.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "round" "+")
@0: The cat eats the rabbit.[(triple1)] The cat is not kind.[(triple2)] The cat is not red.[(triple3)] The cat is round.[(triple4)] The cat likes the rabbit.[(triple5)] The cat needs the rabbit.[(triple6)] The rabbit does not need the cat.[(triple12)] The rabbit eats the cat.[(triple7)] The rabbit is green.[(triple8)] The rabbit is red.[(triple9)] The rabbit is young.[(triple10)] The rabbit likes the cat.[(triple11)] @1: The cat likes the cat.[(((triple4) -> rule1))] The rabbit is kind.[(((triple10) -> rule2))] @2: The rabbit does not need the rabbit.[(((((triple10) -> rule2) triple9) -> rule3))]
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple1
The cat is not kind.
("cat" "is" "kind" "-")
triple2
The cat is not red.
("cat" "is" "red" "-")
triple3
The cat is round.
("cat" "is" "round" "+")
triple4
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
triple5
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple6
The rabbit does not need the cat.
("rabbit" "needs" "cat" "-")
triple12
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple7
The rabbit is green.
("rabbit" "is" "green" "+")
triple8
The rabbit is red.
("rabbit" "is" "red" "+")
triple9
The rabbit is young.
("rabbit" "is" "young" "+")
triple10
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
triple11
The cat likes the cat.
("cat" "likes" "cat" "+")
((triple4) -> (rule1 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
((triple10) -> (rule2 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit does not need the rabbit.
("rabbit" "needs" "rabbit" "-")
((((triple10) -> (rule2 % int2)) triple9) -> (rule3 % int1))
The rabbit does not need the rabbit.
("rabbit" "needs" "rabbit" "-")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2