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