The dog eats the rabbit. The dog is green. The dog is kind. The dog is round. The dog is young. The dog likes the rabbit. The dog visits the rabbit. The rabbit eats the dog. The rabbit is green. The rabbit visits the dog. If something visits the rabbit and the rabbit visits the dog then the rabbit likes the dog. If the dog likes the rabbit and the dog eats the rabbit then the rabbit is round. If something eats the rabbit and the rabbit likes the dog then it eats the dog. If something eats the rabbit and it is big then it eats the dog. If something visits the dog and the dog is young then it is kind. If the dog is round then the dog is young.
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is round.
("dog" "is" "round" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
If something visits the rabbit and the rabbit visits the dog then the rabbit likes the dog.
((("something" "visits" "rabbit" "+") ("rabbit" "visits" "dog" "+")) -> ("rabbit" "likes" "dog" "+"))
If the dog likes the rabbit and the dog eats the rabbit then the rabbit is round.
((("dog" "likes" "rabbit" "+") ("dog" "eats" "rabbit" "+")) -> ("rabbit" "is" "round" "+"))
If something eats the rabbit and the rabbit likes the dog then it eats the dog.
((("something" "eats" "rabbit" "+") ("rabbit" "likes" "dog" "+")) -> ("something" "eats" "dog" "+"))
If something eats the rabbit and it is big then it eats the dog.
((("something" "eats" "rabbit" "+") ("something" "is" "big" "+")) -> ("something" "eats" "dog" "+"))
If something visits the dog and the dog is young then it is kind.
((("something" "visits" "dog" "+") ("dog" "is" "young" "+")) -> ("something" "is" "kind" "+"))
If the dog is round then the dog is young.
((("dog" "is" "round" "+")) -> ("dog" "is" "young" "+"))
The dog is round.
True
1
proof
[(triple4)]
("dog" "is" "round" "+")
triple4
The dog is not kind.
False
1
inv-proof
[(triple3)]
("dog" "is" "kind" "-")
triple3
The rabbit likes the dog.
True
3
proof
[(((triple7 triple10) -> rule1))]
("rabbit" "likes" "dog" "+")
((triple7 triple10) -> (rule1 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
The rabbit is not round.
False
3
inv-proof
[(((triple6 triple1) -> rule2))]
("rabbit" "is" "round" "-")
((triple6 triple1) -> (rule2 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The dog eats the dog.
True
5
proof
[(((triple1 ((triple7 triple10) -> rule1)) -> rule3))]
("dog" "eats" "dog" "+")
((triple1 ((triple7 triple10) -> (rule1 % int2))) -> (rule3 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int2
The dog does not eat the dog.
False
5
inv-proof
[(((triple1 ((triple7 triple10) -> rule1)) -> rule3))]
("dog" "eats" "dog" "-")
((triple1 ((triple7 triple10) -> (rule1 % int2))) -> (rule3 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int2
The rabbit does not like the rabbit.
Unknown
inv-random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "-")
The rabbit visits the rabbit.
Unknown
random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "+")
The dog does not like the dog.
Unknown
inv-random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "-")
The rabbit is big.
Unknown
random
[@0: The rabbit is big.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "big" "+")
The dog is not big.
Unknown
inv-random
[@0: The dog is big.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "big" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
@0: The dog eats the rabbit.[(triple1)] The dog is green.[(triple2)] The dog is kind.[(triple3)] The dog is round.[(triple4)] The dog is young.[(triple5 OR ((triple4) -> rule6))] The dog likes the rabbit.[(triple6)] The dog visits the rabbit.[(triple7)] The rabbit eats the dog.[(triple8)] The rabbit is green.[(triple9)] The rabbit visits the dog.[(triple10)] @1: The rabbit is kind.[(((triple10 triple5) -> rule5) OR ((triple10 ((triple4) -> rule6)) -> rule5))] The rabbit is round.[(((triple6 triple1) -> rule2))] The rabbit likes the dog.[(((triple7 triple10) -> rule1))] @2: The dog eats the dog.[(((triple1 ((triple7 triple10) -> rule1)) -> rule3))]
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple1
The dog is green.
("dog" "is" "green" "+")
triple2
The dog is kind.
("dog" "is" "kind" "+")
triple3
The dog is round.
("dog" "is" "round" "+")
triple4
The dog is young.
("dog" "is" "young" "+")
triple5
((triple4) -> (rule6 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
triple6
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple7
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple8
The rabbit is green.
("rabbit" "is" "green" "+")
triple9
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
triple10
The rabbit is kind.
("rabbit" "is" "kind" "+")
((triple10 triple5) -> (rule5 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
((triple10 ((triple4) -> (rule6 % int2))) -> (rule5 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
((triple6 triple1) -> (rule2 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
((triple7 triple10) -> (rule1 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
The dog eats the dog.
("dog" "eats" "dog" "+")
((triple1 ((triple7 triple10) -> (rule1 % int2))) -> (rule3 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int2