The lion is big. The lion is red. The lion is round. If someone is green and not round then they are big. All blue, red people are big. Green, blue people are red. Big, round people are red. Round people are green. Green people are blue.
The lion is big.
("lion" "is" "big" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is round.
("lion" "is" "round" "+")
If someone is green and not round then they are big.
((("someone" "is" "green" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "big" "+"))
All blue, red people are big.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
Green, blue people are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
Big, round people are red.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
Round people are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
Green people are blue.
((("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
The lion is red.
True
1
proof
[(triple2 OR ((triple1 triple3) -> rule4) OR ((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule6)) -> rule3))]
("lion" "is" "red" "+")
triple2
((triple1 triple3) -> (rule4 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
((((triple3) -> (rule5 % int3)) ((((triple3) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
The lion is not round.
False
1
inv-proof
[(triple3)]
("lion" "is" "round" "-")
triple3
The lion is green.
True
2
proof
[(((triple3) -> rule5))]
("lion" "is" "green" "+")
((triple3) -> (rule5 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion is not green.
False
2
inv-proof
[(((triple3) -> rule5))]
("lion" "is" "green" "-")
((triple3) -> (rule5 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion is blue.
True
3
proof
[(((((triple3) -> rule5)) -> rule6))]
("lion" "is" "blue" "+")
((((triple3) -> (rule5 % int2))) -> (rule6 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The lion is not blue.
False
3
inv-proof
[(((((triple3) -> rule5)) -> rule6))]
("lion" "is" "blue" "-")
((((triple3) -> (rule5 % int2))) -> (rule6 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The lion does not see the lion.
Unknown
inv-random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "-")
The lion eats the lion.
Unknown
random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "+")
@0: The lion is big.[(triple1 OR ((((((triple3) -> rule5)) -> rule6) triple2) -> rule2) OR ((((((triple3) -> rule5)) -> rule6) ((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule6)) -> rule3)) -> rule2))] The lion is red.[(triple2 OR ((triple1 triple3) -> rule4) OR ((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule6)) -> rule3))] The lion is round.[(triple3)] @1: The lion is green.[(((triple3) -> rule5))] @2: The lion is blue.[(((((triple3) -> rule5)) -> rule6))]
The lion is big.
("lion" "is" "big" "+")
triple1
((((((triple3) -> (rule5 % int3))) -> (rule6 % int2)) triple2) -> (rule2 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
((((((triple3) -> (rule5 % int4))) -> (rule6 % int3)) ((((triple3) -> (rule5 % int4)) ((((triple3) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion is blue.
("lion" "is" "blue" "+")
int3
The lion is green.
("lion" "is" "green" "+")
int4
The lion is red.
("lion" "is" "red" "+")
triple2
((triple1 triple3) -> (rule4 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
((((triple3) -> (rule5 % int3)) ((((triple3) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The lion is green.
("lion" "is" "green" "+")
int3
The lion is round.
("lion" "is" "round" "+")
triple3
The lion is green.
("lion" "is" "green" "+")
((triple3) -> (rule5 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
((((triple3) -> (rule5 % int2))) -> (rule6 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2