The cat is kind. The cat is nice. The cat is young. The cat likes the cow. The cat likes the rabbit. The cat needs the cow. The cow eats the rabbit. The cow is young. The cow likes the cat. The cow likes the rabbit. The cow needs the cat. The rabbit eats the cat. The rabbit is green. The rabbit is young. The rabbit needs the cow. If someone eats the cat then the cat is young. If someone eats the cow then they are kind. If someone needs the cow and the cow is nice then they need the rabbit. If someone is big and they need the cat then they eat the rabbit. If someone likes the cow then the cow is kind. If someone needs the cow and they need the cat then they are young.
The cat is kind.
("cat" "is" "kind" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the cow.
("cat" "likes" "cow" "+")
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
The cat needs the cow.
("cat" "needs" "cow" "+")
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is young.
("cow" "is" "young" "+")
The cow likes the cat.
("cow" "likes" "cat" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The cow needs the cat.
("cow" "needs" "cat" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
If someone eats the cat then the cat is young.
((("someone" "eats" "cat" "+")) -> ("cat" "is" "young" "+"))
If someone eats the cow then they are kind.
((("someone" "eats" "cow" "+")) -> ("someone" "is" "kind" "+"))
If someone needs the cow and the cow is nice then they need the rabbit.
((("someone" "needs" "cow" "+") ("cow" "is" "nice" "+")) -> ("someone" "needs" "rabbit" "+"))
If someone is big and they need the cat then they eat the rabbit.
((("someone" "is" "big" "+") ("someone" "needs" "cat" "+")) -> ("someone" "eats" "rabbit" "+"))
If someone likes the cow then the cow is kind.
((("someone" "likes" "cow" "+")) -> ("cow" "is" "kind" "+"))
If someone needs the cow and they need the cat then they are young.
((("someone" "needs" "cow" "+") ("someone" "needs" "cat" "+")) -> ("someone" "is" "young" "+"))
The cat is kind.
True
1
proof
[(triple1)]
("cat" "is" "kind" "+")
triple1
The rabbit is not green.
False
1
inv-proof
[(triple13)]
("rabbit" "is" "green" "-")
triple13
The cow is kind.
True
2
proof
[(((triple4) -> rule5))]
("cow" "is" "kind" "+")
((triple4) -> (rule5 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is not kind.
False
2
inv-proof
[(((triple4) -> rule5))]
("cow" "is" "kind" "-")
((triple4) -> (rule5 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cat does not eat the rabbit.
Unknown
inv-rconc
[@1: The cat eats the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "eats" "rabbit" "-")
The cat needs the rabbit.
Unknown
rconc
[@1: The cat needs the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "needs" "rabbit" "+")
The cow is not green.
Unknown
inv-random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
@0: The cat is kind.[(triple1)] The cat is nice.[(triple2)] The cat is young.[(triple3 OR ((triple12) -> rule1))] The cat likes the cow.[(triple4)] The cat likes the rabbit.[(triple5)] The cat needs the cow.[(triple6)] The cow eats the rabbit.[(triple7)] The cow is young.[(triple8)] The cow likes the cat.[(triple9)] The cow likes the rabbit.[(triple10)] The cow needs the cat.[(triple11)] The rabbit eats the cat.[(triple12)] The rabbit is green.[(triple13)] The rabbit is young.[(triple14)] The rabbit needs the cow.[(triple15)] @1: The cow is kind.[(((triple4) -> rule5))]
The cat is kind.
("cat" "is" "kind" "+")
triple1
The cat is nice.
("cat" "is" "nice" "+")
triple2
The cat is young.
("cat" "is" "young" "+")
triple3
((triple12) -> (rule1 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat likes the cow.
("cat" "likes" "cow" "+")
triple4
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
triple5
The cat needs the cow.
("cat" "needs" "cow" "+")
triple6
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple7
The cow is young.
("cow" "is" "young" "+")
triple8
The cow likes the cat.
("cow" "likes" "cat" "+")
triple9
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple10
The cow needs the cat.
("cow" "needs" "cat" "+")
triple11
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple12
The rabbit is green.
("rabbit" "is" "green" "+")
triple13
The rabbit is young.
("rabbit" "is" "young" "+")
triple14
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
triple15
The cow is kind.
("cow" "is" "kind" "+")
((triple4) -> (rule5 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1