The bear chases the squirrel. The bear is nice. The bear is not round. The bear likes the squirrel. The cat chases the bear. The cat chases the cow. The cat chases the squirrel. The cat is cold. The cat is rough. The cat is round. The cow does not chase the squirrel. The cow is not nice. The cow is rough. The cow is not young. The squirrel likes the bear. The squirrel sees the cow. If something likes the cow then the cow is round. If something chases the cow and it sees the squirrel then it does not chase the cat. If something likes the cat then it likes the cow. If something is round then it likes the cat. If something likes the squirrel and it chases the bear then it is nice.
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is not round.
("bear" "is" "round" "-")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is round.
("cat" "is" "round" "+")
The cow does not chase the squirrel.
("cow" "chases" "squirrel" "-")
The cow is not nice.
("cow" "is" "nice" "-")
The cow is rough.
("cow" "is" "rough" "+")
The cow is not young.
("cow" "is" "young" "-")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
If something likes the cow then the cow is round.
((("something" "likes" "cow" "+")) -> ("cow" "is" "round" "+"))
If something chases the cow and it sees the squirrel then it does not chase the cat.
((("something" "chases" "cow" "+") ("something" "sees" "squirrel" "+")) -> ("something" "chases" "cat" "-"))
If something likes the cat then it likes the cow.
((("something" "likes" "cat" "+")) -> ("something" "likes" "cow" "+"))
If something is round then it likes the cat.
((("something" "is" "round" "+")) -> ("something" "likes" "cat" "+"))
If something likes the squirrel and it chases the bear then it is nice.
((("something" "likes" "squirrel" "+") ("something" "chases" "bear" "+")) -> ("something" "is" "nice" "+"))
The cat chases the bear.
True
1
proof
[(triple5)]
("cat" "chases" "bear" "+")
triple5
The squirrel does not see the cow.
False
1
inv-proof
[(triple16)]
("squirrel" "sees" "cow" "-")
triple16
The cat likes the cat.
True
2
proof
[(((triple10) -> rule4))]
("cat" "likes" "cat" "+")
((triple10) -> (rule4 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat does not like the cat.
False
2
inv-proof
[(((triple10) -> rule4))]
("cat" "likes" "cat" "-")
((triple10) -> (rule4 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat likes the cow.
True
3
proof
[(((((triple10) -> rule4)) -> rule3))]
("cat" "likes" "cow" "+")
((((triple10) -> (rule4 % int2))) -> (rule3 % int1))
The cat likes the cow.
("cat" "likes" "cow" "+")
int1
The cat likes the cat.
("cat" "likes" "cat" "+")
int2
The cat does not like the cow.
False
3
inv-proof
[(((((triple10) -> rule4)) -> rule3))]
("cat" "likes" "cow" "-")
((((triple10) -> (rule4 % int2))) -> (rule3 % int1))
The cat likes the cow.
("cat" "likes" "cow" "+")
int1
The cat likes the cat.
("cat" "likes" "cat" "+")
int2
The cow is round.
True
4
proof
[(((((((triple10) -> rule4)) -> rule3)) -> rule1))]
("cow" "is" "round" "+")
((((((triple10) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cat likes the cow.
("cat" "likes" "cow" "+")
int2
The cat likes the cat.
("cat" "likes" "cat" "+")
int3
The cow is not round.
False
4
inv-proof
[(((((((triple10) -> rule4)) -> rule3)) -> rule1))]
("cow" "is" "round" "-")
((((((triple10) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cat likes the cow.
("cat" "likes" "cow" "+")
int2
The cat likes the cat.
("cat" "likes" "cat" "+")
int3
The cow likes the cat.
True
5
proof
[(((((((((triple10) -> rule4)) -> rule3)) -> rule1)) -> rule4))]
("cow" "likes" "cat" "+")
((((((((triple10) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The cow likes the cat.
("cow" "likes" "cat" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The cat likes the cow.
("cat" "likes" "cow" "+")
int3
The cat likes the cat.
("cat" "likes" "cat" "+")
int4
The cow does not like the cat.
False
5
inv-proof
[(((((((((triple10) -> rule4)) -> rule3)) -> rule1)) -> rule4))]
("cow" "likes" "cat" "-")
((((((((triple10) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The cow likes the cat.
("cow" "likes" "cat" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The cat likes the cow.
("cat" "likes" "cow" "+")
int3
The cat likes the cat.
("cat" "likes" "cat" "+")
int4
The cow likes the cow.
True
6
proof
[(((((((((((triple10) -> rule4)) -> rule3)) -> rule1)) -> rule4)) -> rule3))]
("cow" "likes" "cow" "+")
((((((((((triple10) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow likes the cat.
("cow" "likes" "cat" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cat likes the cow.
("cat" "likes" "cow" "+")
int4
The cat likes the cat.
("cat" "likes" "cat" "+")
int5
The cow does not like the cow.
False
6
inv-proof
[(((((((((((triple10) -> rule4)) -> rule3)) -> rule1)) -> rule4)) -> rule3))]
("cow" "likes" "cow" "-")
((((((((((triple10) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow likes the cat.
("cow" "likes" "cat" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cat likes the cow.
("cat" "likes" "cow" "+")
int4
The cat likes the cat.
("cat" "likes" "cat" "+")
int5
The bear does not like the cat.
Unknown
inv-rconc
[@1: The bear likes the cat.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "likes" "cat" "-")
The squirrel is nice.
Unknown
rconc
[@1: The squirrel is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "is" "nice" "+")
The cat is not nice.
Unknown
inv-rconc
[@1: The cat is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "is" "nice" "-")
The bear likes the cow.
Unknown
rconc
[@2: The bear likes the cow.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("bear" "likes" "cow" "+")
The squirrel does not like the cow.
Unknown
inv-rconc
[@2: The squirrel likes the cow.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("squirrel" "likes" "cow" "-")
The squirrel likes the cat.
Unknown
rconc
[@1: The squirrel likes the cat.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "likes" "cat" "+")
The squirrel does not see the cat.
Unknown
inv-random
[@0: The squirrel sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "cat" "-")
The bear is rough.
Unknown
random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "+")
The bear does not like the bear.
Unknown
inv-random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "-")
The squirrel sees the squirrel.
Unknown
random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "+")
The cat does not see the bear.
Unknown
inv-random
[@0: The cat sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "bear" "-")
The bear chases the cow.
Unknown
random
[@0: The bear chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "cow" "+")
@0: The bear chases the squirrel.[(triple1)] The bear is nice.[(triple2)] The bear is not round.[(triple3)] The bear likes the squirrel.[(triple4)] The cat chases the bear.[(triple5)] The cat chases the cow.[(triple6)] The cat chases the squirrel.[(triple7)] The cat is cold.[(triple8)] The cat is rough.[(triple9)] The cat is round.[(triple10)] The cow does not chase the squirrel.[(triple11)] The cow is not nice.[(triple12)] The cow is not young.[(triple14)] The cow is rough.[(triple13)] The squirrel likes the bear.[(triple15)] The squirrel sees the cow.[(triple16)] @1: The cat likes the cat.[(((triple10) -> rule4))] @2: The cat likes the cow.[(((((triple10) -> rule4)) -> rule3))] @3: The cow is round.[(((((((triple10) -> rule4)) -> rule3)) -> rule1))] @4: The cow likes the cat.[(((((((((triple10) -> rule4)) -> rule3)) -> rule1)) -> rule4))] @5: The cow likes the cow.[(((((((((((triple10) -> rule4)) -> rule3)) -> rule1)) -> rule4)) -> rule3))]
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple1
The bear is nice.
("bear" "is" "nice" "+")
triple2
The bear is not round.
("bear" "is" "round" "-")
triple3
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple4
The cat chases the bear.
("cat" "chases" "bear" "+")
triple5
The cat chases the cow.
("cat" "chases" "cow" "+")
triple6
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple7
The cat is cold.
("cat" "is" "cold" "+")
triple8
The cat is rough.
("cat" "is" "rough" "+")
triple9
The cat is round.
("cat" "is" "round" "+")
triple10
The cow does not chase the squirrel.
("cow" "chases" "squirrel" "-")
triple11
The cow is not nice.
("cow" "is" "nice" "-")
triple12
The cow is not young.
("cow" "is" "young" "-")
triple14
The cow is rough.
("cow" "is" "rough" "+")
triple13
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple15
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple16
The cat likes the cat.
("cat" "likes" "cat" "+")
((triple10) -> (rule4 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat likes the cow.
("cat" "likes" "cow" "+")
((((triple10) -> (rule4 % int2))) -> (rule3 % int1))
The cat likes the cow.
("cat" "likes" "cow" "+")
int1
The cat likes the cat.
("cat" "likes" "cat" "+")
int2
The cow is round.
("cow" "is" "round" "+")
((((((triple10) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cat likes the cow.
("cat" "likes" "cow" "+")
int2
The cat likes the cat.
("cat" "likes" "cat" "+")
int3
The cow likes the cat.
("cow" "likes" "cat" "+")
((((((((triple10) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The cow likes the cat.
("cow" "likes" "cat" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The cat likes the cow.
("cat" "likes" "cow" "+")
int3
The cat likes the cat.
("cat" "likes" "cat" "+")
int4
The cow likes the cow.
("cow" "likes" "cow" "+")
((((((((((triple10) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow likes the cat.
("cow" "likes" "cat" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The cat likes the cow.
("cat" "likes" "cow" "+")
int4
The cat likes the cat.
("cat" "likes" "cat" "+")
int5