The squirrel is big. The squirrel is cold. The squirrel is kind. The squirrel is rough. The squirrel is round. Big things are rough. All kind things are big.
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
Big things are rough.
((("something" "is" "big" "+")) -> ("something" "is" "rough" "+"))
All kind things are big.
((("something" "is" "kind" "+")) -> ("something" "is" "big" "+"))
The squirrel is rough.
True
1
proof
[(triple4 OR ((triple1) -> rule1) OR ((((triple3) -> rule2)) -> rule1))]
("squirrel" "is" "rough" "+")
triple4
((triple1) -> (rule1 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is not kind.
False
1
inv-proof
[(triple3)]
("squirrel" "is" "kind" "-")
triple3
The squirrel does not like the squirrel.
Unknown
inv-random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "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 big.[(triple1 OR ((triple3) -> rule2))] The squirrel is cold.[(triple2)] The squirrel is kind.[(triple3)] The squirrel is rough.[(triple4 OR ((triple1) -> rule1) OR ((((triple3) -> rule2)) -> rule1))] The squirrel is round.[(triple5)]
The squirrel is big.
("squirrel" "is" "big" "+")
triple1
((triple3) -> (rule2 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple2
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple3
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple4
((triple1) -> (rule1 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
triple5