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