The cow is green. The cow sees the dog. The cow sees the squirrel. The dog likes the squirrel. The dog sees the squirrel. The rabbit is rough. The rabbit likes the dog. The rabbit sees the squirrel. The squirrel is big. The squirrel likes the cow. The squirrel likes the rabbit. If someone likes the squirrel then the squirrel is rough. If someone chases the cow and the cow is big then the cow is green. If the rabbit is green then the rabbit sees the cow. If someone chases the rabbit then they like the dog. If someone is rough then they chase the rabbit. If someone likes the squirrel and the squirrel chases the rabbit then they are rough. If someone likes the dog and they are big then the dog likes the rabbit.
The cow is green.
("cow" "is" "green" "+")
The cow sees the dog.
("cow" "sees" "dog" "+")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
If someone likes the squirrel then the squirrel is rough.
((("someone" "likes" "squirrel" "+")) -> ("squirrel" "is" "rough" "+"))
If someone chases the cow and the cow is big then the cow is green.
((("someone" "chases" "cow" "+") ("cow" "is" "big" "+")) -> ("cow" "is" "green" "+"))
If the rabbit is green then the rabbit sees the cow.
((("rabbit" "is" "green" "+")) -> ("rabbit" "sees" "cow" "+"))
If someone chases the rabbit then they like the dog.
((("someone" "chases" "rabbit" "+")) -> ("someone" "likes" "dog" "+"))
If someone is rough then they chase the rabbit.
((("someone" "is" "rough" "+")) -> ("someone" "chases" "rabbit" "+"))
If someone likes the squirrel and the squirrel chases the rabbit then they are rough.
((("someone" "likes" "squirrel" "+") ("squirrel" "chases" "rabbit" "+")) -> ("someone" "is" "rough" "+"))
If someone likes the dog and they are big then the dog likes the rabbit.
((("someone" "likes" "dog" "+") ("someone" "is" "big" "+")) -> ("dog" "likes" "rabbit" "+"))
The rabbit likes the dog.
True
1
proof
[(triple7 OR ((((triple6) -> rule5)) -> rule4))]
("rabbit" "likes" "dog" "+")
triple7
((((triple6) -> (rule5 % int2))) -> (rule4 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int2
The dog does not see the squirrel.
False
1
inv-proof
[(triple5)]
("dog" "sees" "squirrel" "-")
triple5
The rabbit chases the rabbit.
True
2
proof
[(((triple6) -> rule5))]
("rabbit" "chases" "rabbit" "+")
((triple6) -> (rule5 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The squirrel is not rough.
False
2
inv-proof
[(((triple4) -> rule1))]
("squirrel" "is" "rough" "-")
((triple4) -> (rule1 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel chases the rabbit.
True
3
proof
[(((((triple4) -> rule1)) -> rule5))]
("squirrel" "chases" "rabbit" "+")
((((triple4) -> (rule1 % int2))) -> (rule5 % int1))
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The squirrel does not chase the rabbit.
False
3
inv-proof
[(((((triple4) -> rule1)) -> rule5))]
("squirrel" "chases" "rabbit" "-")
((((triple4) -> (rule1 % int2))) -> (rule5 % int1))
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The squirrel likes the dog.
True
4
proof
[(((((((triple4) -> rule1)) -> rule5)) -> rule4))]
("squirrel" "likes" "dog" "+")
((((((triple4) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int1
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The squirrel does not like the dog.
False
4
inv-proof
[(((((((triple4) -> rule1)) -> rule5)) -> rule4))]
("squirrel" "likes" "dog" "-")
((((((triple4) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int1
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The dog chases the rabbit.
True
6
proof
[(((((triple4 ((((triple4) -> rule1)) -> rule5)) -> rule6)) -> rule5))]
("dog" "chases" "rabbit" "+")
((((triple4 ((((triple4) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
The dog does not chase the rabbit.
False
6
inv-proof
[(((((triple4 ((((triple4) -> rule1)) -> rule5)) -> rule6)) -> rule5))]
("dog" "chases" "rabbit" "-")
((((triple4 ((((triple4) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
The dog likes the dog.
True
7
proof
[(((((((triple4 ((((triple4) -> rule1)) -> rule5)) -> rule6)) -> rule5)) -> rule4))]
("dog" "likes" "dog" "+")
((((((triple4 ((((triple4) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
int3
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int4
The squirrel is rough.
("squirrel" "is" "rough" "+")
int5
The dog does not like the dog.
False
7
inv-proof
[(((((((triple4 ((((triple4) -> rule1)) -> rule5)) -> rule6)) -> rule5)) -> rule4))]
("dog" "likes" "dog" "-")
((((((triple4 ((((triple4) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
int3
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int4
The squirrel is rough.
("squirrel" "is" "rough" "+")
int5
The rabbit does not see the cow.
Unknown
inv-rconc
[@1: The rabbit sees the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "sees" "cow" "-")
The cow is rough.
Unknown
rconc
[@1: The cow is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "is" "rough" "+")
The cow does not chase the rabbit.
Unknown
inv-rconc
[@2: The cow chases the rabbit.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("cow" "chases" "rabbit" "-")
The cow likes the dog.
Unknown
rconc
[@3: The cow likes the dog.[CWA. Example of deepest failure = (rule4 <- rule5 <- rule6 <- FAIL)]]
("cow" "likes" "dog" "+")
The cow does not like the rabbit.
Unknown
inv-random
[@0: The cow likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "rabbit" "-")
The cow sees the cow.
Unknown
random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "+")
The cow is not young.
Unknown
inv-random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "-")
The dog is young.
Unknown
random
[@0: The dog is young.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "young" "+")
The rabbit is not kind.
Unknown
inv-random
[@0: The rabbit is kind.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "kind" "-")
The cow likes the squirrel.
Unknown
random
[@0: The cow likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "squirrel" "+")
The rabbit is not young.
Unknown
inv-random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
@0: The cow is green.[(triple1)] The cow sees the dog.[(triple2)] The cow sees the squirrel.[(triple3)] The dog likes the squirrel.[(triple4)] The dog sees the squirrel.[(triple5)] The rabbit is rough.[(triple6)] The rabbit likes the dog.[(triple7 OR ((((triple6) -> rule5)) -> rule4))] The rabbit sees the squirrel.[(triple8)] The squirrel is big.[(triple9)] The squirrel likes the cow.[(triple10)] The squirrel likes the rabbit.[(triple11)] @1: The rabbit chases the rabbit.[(((triple6) -> rule5))] The squirrel is rough.[(((triple4) -> rule1))] @2: The squirrel chases the rabbit.[(((((triple4) -> rule1)) -> rule5))] @3: The dog is rough.[(((triple4 ((((triple4) -> rule1)) -> rule5)) -> rule6))] The squirrel likes the dog.[(((((((triple4) -> rule1)) -> rule5)) -> rule4))] @4: The dog chases the rabbit.[(((((triple4 ((((triple4) -> rule1)) -> rule5)) -> rule6)) -> rule5))] The dog likes the rabbit.[(((((((((triple4) -> rule1)) -> rule5)) -> rule4) triple9) -> rule7))] @5: The dog likes the dog.[(((((((triple4 ((((triple4) -> rule1)) -> rule5)) -> rule6)) -> rule5)) -> rule4))]
The cow is green.
("cow" "is" "green" "+")
triple1
The cow sees the dog.
("cow" "sees" "dog" "+")
triple2
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple3
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple4
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple5
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple6
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
triple7
((((triple6) -> (rule5 % int2))) -> (rule4 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int2
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
triple8
The squirrel is big.
("squirrel" "is" "big" "+")
triple9
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple10
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple11
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
((triple6) -> (rule5 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
((triple4) -> (rule1 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
((((triple4) -> (rule1 % int2))) -> (rule5 % int1))
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
((triple4 ((((triple4) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
((((((triple4) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int1
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
((((triple4 ((((triple4) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
((((((((triple4) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) triple9) -> (rule7 % int1))
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
int1
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int2
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
The dog likes the dog.
("dog" "likes" "dog" "+")
((((((triple4 ((((triple4) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
int3
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int4
The squirrel is rough.
("squirrel" "is" "rough" "+")
int5