The squirrel is big. The squirrel is round. The squirrel is young. All big things are red. Kind, red things are big. If something is big then it is round.
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
All big things are red.
((("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
Kind, red things are big.
((("something" "is" "kind" "+") ("something" "is" "red" "+")) -> ("something" "is" "big" "+"))
If something is big then it is round.
((("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
The squirrel is big.
True
1
proof
[(triple1)]
("squirrel" "is" "big" "+")
triple1
The squirrel is not young.
False
1
inv-proof
[(triple3)]
("squirrel" "is" "young" "-")
triple3
The squirrel does not need the squirrel.
Unknown
inv-random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "-")
The squirrel is kind.
Unknown
random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "+")
@0: The squirrel is big.[(triple1)] The squirrel is round.[(triple2 OR ((triple1) -> rule3))] The squirrel is young.[(triple3)] @1: The squirrel is red.[(((triple1) -> rule1))]
The squirrel is big.
("squirrel" "is" "big" "+")
triple1
The squirrel is round.
("squirrel" "is" "round" "+")
triple2
((triple1) -> (rule3 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
triple3
The squirrel is red.
("squirrel" "is" "red" "+")
((triple1) -> (rule1 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1