The squirrel is big. All round people are rough. Green, round people are not rough. If someone is green then they are rough. If someone is big then they are green. Rough people are nice. Rough people are big.
The squirrel is big.
("squirrel" "is" "big" "+")
All round people are rough.
((("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
Green, round people are not rough.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "-"))
If someone is green then they are rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is big then they are green.
((("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
Rough people are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
Rough people are big.
((("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
The squirrel is big.
True
1
proof
[(triple1)]
("squirrel" "is" "big" "+")
triple1
The squirrel is not big.
False
1
inv-proof
[(triple1)]
("squirrel" "is" "big" "-")
triple1
The squirrel is green.
True
2
proof
[(((triple1) -> rule4))]
("squirrel" "is" "green" "+")
((triple1) -> (rule4 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is not green.
False
2
inv-proof
[(((triple1) -> rule4))]
("squirrel" "is" "green" "-")
((triple1) -> (rule4 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is rough.
True
3
proof
[(((((triple1) -> rule4)) -> rule3))]
("squirrel" "is" "rough" "+")
((((triple1) -> (rule4 % int2))) -> (rule3 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is not rough.
False
3
inv-proof
[(((((triple1) -> rule4)) -> rule3))]
("squirrel" "is" "rough" "-")
((((triple1) -> (rule4 % int2))) -> (rule3 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is nice.
True
4
proof
[(((((((triple1) -> rule4)) -> rule3)) -> rule5))]
("squirrel" "is" "nice" "+")
((((((triple1) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
The squirrel is not nice.
False
4
inv-proof
[(((((((triple1) -> rule4)) -> rule3)) -> rule5))]
("squirrel" "is" "nice" "-")
((((((triple1) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
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 is round.
Unknown
random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "+")
The squirrel does not visit the squirrel.
Unknown
inv-random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
@0: The squirrel is big.[(triple1)] @1: The squirrel is green.[(((triple1) -> rule4))] @2: The squirrel is rough.[(((((triple1) -> rule4)) -> rule3))] @3: The squirrel is nice.[(((((((triple1) -> rule4)) -> rule3)) -> rule5))]
The squirrel is big.
("squirrel" "is" "big" "+")
triple1
The squirrel is green.
("squirrel" "is" "green" "+")
((triple1) -> (rule4 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
((((triple1) -> (rule4 % int2))) -> (rule3 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is nice.
("squirrel" "is" "nice" "+")
((((((triple1) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3