The squirrel is green. The squirrel is kind. The squirrel is nice. The squirrel is red. The squirrel is young. If someone is green and kind then they are red. If someone is nice then they are green.
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
If someone is green and kind then they are red.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone is nice then they are green.
((("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
The squirrel is red.
True
1
proof
[(triple4 OR ((triple1 triple2) -> rule1) OR ((((triple3) -> rule2) triple2) -> rule1))]
("squirrel" "is" "red" "+")
triple4
((triple1 triple2) -> (rule1 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
((((triple3) -> (rule2 % int2)) triple2) -> (rule1 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is not kind.
False
1
inv-proof
[(triple2)]
("squirrel" "is" "kind" "-")
triple2
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 squirrel visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
@0: The squirrel is green.[(triple1 OR ((triple3) -> rule2))] The squirrel is kind.[(triple2)] The squirrel is nice.[(triple3)] The squirrel is red.[(triple4 OR ((triple1 triple2) -> rule1) OR ((((triple3) -> rule2) triple2) -> rule1))] The squirrel is young.[(triple5)]
The squirrel is green.
("squirrel" "is" "green" "+")
triple1
((triple3) -> (rule2 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple2
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple3
The squirrel is red.
("squirrel" "is" "red" "+")
triple4
((triple1 triple2) -> (rule1 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
((((triple3) -> (rule2 % int2)) triple2) -> (rule1 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
triple5