The squirrel chases the tiger. The squirrel is nice. The squirrel is round. The squirrel is young. The squirrel likes the tiger. The squirrel does not see the tiger. The tiger does not chase the squirrel. The tiger is rough. The tiger is not round. The tiger is young. The tiger likes the squirrel. The tiger sees the squirrel. If something likes the squirrel and the squirrel is rough then the squirrel sees the tiger. If the tiger chases the squirrel then the tiger likes the squirrel. If the squirrel sees the tiger and the squirrel chases the tiger then the squirrel is young. If something likes the squirrel and it sees the squirrel then it is rough. If something sees the tiger then it is not young. If something is young and it chases the squirrel then the squirrel chases the tiger. If something is round then it chases the tiger. If something likes the squirrel and the squirrel chases the tiger then the tiger is big.
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The squirrel does not see the tiger.
("squirrel" "sees" "tiger" "-")
The tiger does not chase the squirrel.
("tiger" "chases" "squirrel" "-")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is not round.
("tiger" "is" "round" "-")
The tiger is young.
("tiger" "is" "young" "+")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
If something likes the squirrel and the squirrel is rough then the squirrel sees the tiger.
((("something" "likes" "squirrel" "+") ("squirrel" "is" "rough" "+")) -> ("squirrel" "sees" "tiger" "+"))
If the tiger chases the squirrel then the tiger likes the squirrel.
((("tiger" "chases" "squirrel" "+")) -> ("tiger" "likes" "squirrel" "+"))
If the squirrel sees the tiger and the squirrel chases the tiger then the squirrel is young.
((("squirrel" "sees" "tiger" "+") ("squirrel" "chases" "tiger" "+")) -> ("squirrel" "is" "young" "+"))
If something likes the squirrel and it sees the squirrel then it is rough.
((("something" "likes" "squirrel" "+") ("something" "sees" "squirrel" "+")) -> ("something" "is" "rough" "+"))
If something sees the tiger then it is not young.
((("something" "sees" "tiger" "+")) -> ("something" "is" "young" "-"))
If something is young and it chases the squirrel then the squirrel chases the tiger.
((("something" "is" "young" "+") ("something" "chases" "squirrel" "+")) -> ("squirrel" "chases" "tiger" "+"))
If something is round then it chases the tiger.
((("something" "is" "round" "+")) -> ("something" "chases" "tiger" "+"))
If something likes the squirrel and the squirrel chases the tiger then the tiger is big.
((("something" "likes" "squirrel" "+") ("squirrel" "chases" "tiger" "+")) -> ("tiger" "is" "big" "+"))
The squirrel is young.
True
1
proof
[(triple4)]
("squirrel" "is" "young" "+")
triple4
The tiger is not young.
False
1
inv-proof
[(triple10)]
("tiger" "is" "young" "-")
triple10
The tiger is big.
True
3
proof
[(((triple11 triple1) -> rule8) OR ((triple11 ((triple3) -> rule7)) -> rule8))]
("tiger" "is" "big" "+")
((triple11 triple1) -> (rule8 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
((triple11 ((triple3) -> (rule7 % int2))) -> (rule8 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int2
The tiger is not big.
False
3
inv-proof
[(((triple11 triple1) -> rule8) OR ((triple11 ((triple3) -> rule7)) -> rule8))]
("tiger" "is" "big" "-")
((triple11 triple1) -> (rule8 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
((triple11 ((triple3) -> (rule7 % int2))) -> (rule8 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int2
The tiger does not chase the tiger.
Unknown
inv-rconc
[@1: The tiger chases the tiger.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("tiger" "chases" "tiger" "-")
The squirrel is rough.
Unknown
rconc
[@1: The squirrel is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "is" "rough" "+")
The squirrel is not big.
Unknown
inv-random
[@0: The squirrel is big.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "big" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
@0: The squirrel chases the tiger.[(triple1 OR ((triple3) -> rule7))] The squirrel does not see the tiger.[(triple6)] The squirrel is nice.[(triple2)] The squirrel is round.[(triple3)] The squirrel is young.[(triple4)] The squirrel likes the tiger.[(triple5)] The tiger does not chase the squirrel.[(triple7)] The tiger is not round.[(triple9)] The tiger is rough.[(triple8 OR ((triple11 triple12) -> rule4))] The tiger is young.[(triple10)] The tiger likes the squirrel.[(triple11)] The tiger sees the squirrel.[(triple12)] @1: The tiger is big.[(((triple11 triple1) -> rule8) OR ((triple11 ((triple3) -> rule7)) -> rule8))]
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple1
((triple3) -> (rule7 % int1))
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int1
The squirrel does not see the tiger.
("squirrel" "sees" "tiger" "-")
triple6
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple2
The squirrel is round.
("squirrel" "is" "round" "+")
triple3
The squirrel is young.
("squirrel" "is" "young" "+")
triple4
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple5
The tiger does not chase the squirrel.
("tiger" "chases" "squirrel" "-")
triple7
The tiger is not round.
("tiger" "is" "round" "-")
triple9
The tiger is rough.
("tiger" "is" "rough" "+")
triple8
((triple11 triple12) -> (rule4 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
triple10
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
triple11
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
triple12
The tiger is big.
("tiger" "is" "big" "+")
((triple11 triple1) -> (rule8 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
((triple11 ((triple3) -> (rule7 % int2))) -> (rule8 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int2