The cat is young. The cat sees the rabbit. The dog is rough. The dog sees the cat. The rabbit is red. The rabbit is rough. The rabbit sees the dog. If someone needs the dog then they need the rabbit. If the rabbit sees the dog then the rabbit likes the cat. If someone is big then they like the rabbit. If someone is young and they see the rabbit then the rabbit likes the dog. If someone is big and young then they see the rabbit. If the rabbit likes the cat then the rabbit needs the cat. If the cat needs the dog then the cat sees the dog. If someone is big and they like the cat then they need the cat.
The cat is young.
("cat" "is" "young" "+")
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog sees the cat.
("dog" "sees" "cat" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
If someone needs the dog then they need the rabbit.
((("someone" "needs" "dog" "+")) -> ("someone" "needs" "rabbit" "+"))
If the rabbit sees the dog then the rabbit likes the cat.
((("rabbit" "sees" "dog" "+")) -> ("rabbit" "likes" "cat" "+"))
If someone is big then they like the rabbit.
((("someone" "is" "big" "+")) -> ("someone" "likes" "rabbit" "+"))
If someone is young and they see the rabbit then the rabbit likes the dog.
((("someone" "is" "young" "+") ("someone" "sees" "rabbit" "+")) -> ("rabbit" "likes" "dog" "+"))
If someone is big and young then they see the rabbit.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "sees" "rabbit" "+"))
If the rabbit likes the cat then the rabbit needs the cat.
((("rabbit" "likes" "cat" "+")) -> ("rabbit" "needs" "cat" "+"))
If the cat needs the dog then the cat sees the dog.
((("cat" "needs" "dog" "+")) -> ("cat" "sees" "dog" "+"))
If someone is big and they like the cat then they need the cat.
((("someone" "is" "big" "+") ("someone" "likes" "cat" "+")) -> ("someone" "needs" "cat" "+"))
The dog is rough.
True
1
proof
[(triple3)]
("dog" "is" "rough" "+")
triple3
The rabbit does not see the dog.
False
1
inv-proof
[(triple7)]
("rabbit" "sees" "dog" "-")
triple7
The rabbit likes the dog.
True
3
proof
[(((triple1 triple2) -> rule4))]
("rabbit" "likes" "dog" "+")
((triple1 triple2) -> (rule4 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
The rabbit does not like the cat.
False
2
inv-proof
[(((triple7) -> rule2))]
("rabbit" "likes" "cat" "-")
((triple7) -> (rule2 % int1))
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int1
The rabbit needs the cat.
True
3
proof
[(((((triple7) -> rule2)) -> rule6))]
("rabbit" "needs" "cat" "+")
((((triple7) -> (rule2 % int2))) -> (rule6 % int1))
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
int1
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int2
The rabbit does not need the cat.
False
3
inv-proof
[(((((triple7) -> rule2)) -> rule6))]
("rabbit" "needs" "cat" "-")
((((triple7) -> (rule2 % int2))) -> (rule6 % int1))
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
int1
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int2
The cat does not like the rabbit.
Unknown
inv-rconc
[@1: The cat likes the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "likes" "rabbit" "-")
The dog needs the cat.
Unknown
rconc
[@1: The dog needs the cat.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("dog" "needs" "cat" "+")
The rabbit does not see the rabbit.
Unknown
inv-rconc
[@1: The rabbit sees the rabbit.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "sees" "rabbit" "-")
The cat is blue.
Unknown
random
[@0: The cat is blue.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "blue" "+")
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The rabbit sees the cat.
Unknown
random
[@0: The rabbit sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "cat" "+")
@0: The cat is young.[(triple1)] The cat sees the rabbit.[(triple2)] The dog is rough.[(triple3)] The dog sees the cat.[(triple4)] The rabbit is red.[(triple5)] The rabbit is rough.[(triple6)] The rabbit sees the dog.[(triple7)] @1: The rabbit likes the cat.[(((triple7) -> rule2))] The rabbit likes the dog.[(((triple1 triple2) -> rule4))] @2: The rabbit needs the cat.[(((((triple7) -> rule2)) -> rule6))]
The cat is young.
("cat" "is" "young" "+")
triple1
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
triple2
The dog is rough.
("dog" "is" "rough" "+")
triple3
The dog sees the cat.
("dog" "sees" "cat" "+")
triple4
The rabbit is red.
("rabbit" "is" "red" "+")
triple5
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple6
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
triple7
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
((triple7) -> (rule2 % int1))
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int1
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
((triple1 triple2) -> (rule4 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
((((triple7) -> (rule2 % int2))) -> (rule6 % int1))
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
int1
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
int2