The squirrel chases the tiger. The squirrel eats the tiger. The squirrel is blue. The squirrel is kind. The squirrel is nice. The squirrel is round. The squirrel is young. The squirrel needs the tiger. The tiger chases the squirrel. The tiger eats the squirrel. The tiger is blue. The tiger is kind. The tiger is nice. The tiger is round. The tiger needs the squirrel. If something is blue and kind then it chases the tiger. If something eats the squirrel and it is nice then the squirrel eats the tiger.
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
If something is blue and kind then it chases the tiger.
((("something" "is" "blue" "+") ("something" "is" "kind" "+")) -> ("something" "chases" "tiger" "+"))
If something eats the squirrel and it is nice then the squirrel eats the tiger.
((("something" "eats" "squirrel" "+") ("something" "is" "nice" "+")) -> ("squirrel" "eats" "tiger" "+"))
The tiger is kind.
True
1
proof
[(triple12)]
("tiger" "is" "kind" "+")
triple12
The tiger is not kind.
False
1
inv-proof
[(triple12)]
("tiger" "is" "kind" "-")
triple12
The tiger chases the tiger.
True
3
proof
[(((triple11 triple12) -> rule1))]
("tiger" "chases" "tiger" "+")
((triple11 triple12) -> (rule1 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The tiger does not chase the tiger.
False
3
inv-proof
[(((triple11 triple12) -> rule1))]
("tiger" "chases" "tiger" "-")
((triple11 triple12) -> (rule1 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The tiger does not eat the tiger.
Unknown
inv-random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
The squirrel does not chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "-")
The tiger needs the tiger.
Unknown
random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "+")
@0: The squirrel chases the tiger.[(triple1 OR ((triple3 triple4) -> rule1))] The squirrel eats the tiger.[(triple2 OR ((triple10 triple13) -> rule2))] The squirrel is blue.[(triple3)] The squirrel is kind.[(triple4)] The squirrel is nice.[(triple5)] The squirrel is round.[(triple6)] The squirrel is young.[(triple7)] The squirrel needs the tiger.[(triple8)] The tiger chases the squirrel.[(triple9)] The tiger eats the squirrel.[(triple10)] The tiger is blue.[(triple11)] The tiger is kind.[(triple12)] The tiger is nice.[(triple13)] The tiger is round.[(triple14)] The tiger needs the squirrel.[(triple15)] @1: The tiger chases the tiger.[(((triple11 triple12) -> rule1))]
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple1
((triple3 triple4) -> (rule1 % int1))
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int1
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
triple2
((triple10 triple13) -> (rule2 % int1))
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple3
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple4
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple5
The squirrel is round.
("squirrel" "is" "round" "+")
triple6
The squirrel is young.
("squirrel" "is" "young" "+")
triple7
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple8
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple9
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
triple10
The tiger is blue.
("tiger" "is" "blue" "+")
triple11
The tiger is kind.
("tiger" "is" "kind" "+")
triple12
The tiger is nice.
("tiger" "is" "nice" "+")
triple13
The tiger is round.
("tiger" "is" "round" "+")
triple14
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple15
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
((triple11 triple12) -> (rule1 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1