The squirrel is big. The squirrel is cold. The squirrel is young. If the squirrel is cold then the squirrel is nice. Green people are nice. Green, cold people are nice. All nice people are young. If someone is nice and cold then they are big. If someone is green then they are big. If someone is nice then they are green. If the squirrel is not nice and the squirrel is not green then the squirrel is big.
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
If the squirrel is cold then the squirrel is nice.
((("squirrel" "is" "cold" "+")) -> ("squirrel" "is" "nice" "+"))
Green people are nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
Green, cold people are nice.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
All nice people are young.
((("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and cold then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is green then they are big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is nice then they are green.
((("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If the squirrel is not nice and the squirrel is not green then the squirrel is big.
((("squirrel" "is" "nice" "~") ("squirrel" "is" "green" "~")) -> ("squirrel" "is" "big" "+"))
The squirrel is young.
True
1
proof
[(triple3 OR ((((triple2) -> rule1)) -> rule4))]
("squirrel" "is" "young" "+")
triple3
((((triple2) -> (rule1 % int2))) -> (rule4 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel is not young.
False
1
inv-proof
[(triple3 OR ((((triple2) -> rule1)) -> rule4))]
("squirrel" "is" "young" "-")
triple3
((((triple2) -> (rule1 % int2))) -> (rule4 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel is nice.
True
2
proof
[(((triple2) -> rule1))]
("squirrel" "is" "nice" "+")
((triple2) -> (rule1 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is not nice.
False
2
inv-proof
[(((triple2) -> rule1))]
("squirrel" "is" "nice" "-")
((triple2) -> (rule1 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is green.
True
3
proof
[(((((triple2) -> rule1)) -> rule7))]
("squirrel" "is" "green" "+")
((((triple2) -> (rule1 % int2))) -> (rule7 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel is not green.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule7))]
("squirrel" "is" "green" "-")
((((triple2) -> (rule1 % int2))) -> (rule7 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
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 OR ((((triple2) -> rule1) triple2) -> rule5) OR ((((((triple2) -> rule1)) -> rule7)) -> rule6))] The squirrel is cold.[(triple2)] The squirrel is young.[(triple3 OR ((((triple2) -> rule1)) -> rule4))] @1: The squirrel is nice.[(((triple2) -> rule1))] @2: The squirrel is green.[(((((triple2) -> rule1)) -> rule7))]
The squirrel is big.
("squirrel" "is" "big" "+")
triple1
((((triple2) -> (rule1 % int2)) triple2) -> (rule5 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
((((((triple2) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is nice.
("squirrel" "is" "nice" "+")
int3
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple2
The squirrel is young.
("squirrel" "is" "young" "+")
triple3
((((triple2) -> (rule1 % int2))) -> (rule4 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel is nice.
("squirrel" "is" "nice" "+")
((triple2) -> (rule1 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
((((triple2) -> (rule1 % int2))) -> (rule7 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2