The lion is not big. The lion is blue. The lion is not cold. The lion is not young. The lion needs the rabbit. The lion sees the rabbit. The lion sees the squirrel. The rabbit is blue. The rabbit is red. The rabbit needs the squirrel. The rabbit visits the lion. The squirrel does not need the lion. If something sees the squirrel then the squirrel is not big. If the squirrel is not big then the squirrel is blue.
The lion is not big.
("lion" "is" "big" "-")
The lion is blue.
("lion" "is" "blue" "+")
The lion is not cold.
("lion" "is" "cold" "-")
The lion is not young.
("lion" "is" "young" "-")
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
The squirrel does not need the lion.
("squirrel" "needs" "lion" "-")
If something sees the squirrel then the squirrel is not big.
((("something" "sees" "squirrel" "+")) -> ("squirrel" "is" "big" "-"))
If the squirrel is not big then the squirrel is blue.
((("squirrel" "is" "big" "~")) -> ("squirrel" "is" "blue" "+"))
The lion is blue.
True
1
proof
[(triple2)]
("lion" "is" "blue" "+")
triple2
The squirrel needs the lion.
False
1
inv-proof
[(triple12)]
("squirrel" "needs" "lion" "+")
triple12
The squirrel is not big.
True
2
proof
[(((triple7) -> rule1))]
("squirrel" "is" "big" "-")
((triple7) -> (rule1 % int1))
The squirrel is not big.
("squirrel" "is" "big" "-")
int1
The squirrel is big.
False
2
inv-proof
[(((triple7) -> rule1))]
("squirrel" "is" "big" "+")
((triple7) -> (rule1 % int1))
The squirrel is not big.
("squirrel" "is" "big" "-")
int1
The squirrel is blue.
True
3
proof
[(((((triple7) -> rule1)) -> rule2))]
("squirrel" "is" "blue" "+")
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is not big.
("squirrel" "is" "big" "-")
int2
The squirrel is not blue.
False
3
inv-proof
[(((((triple7) -> rule1)) -> rule2))]
("squirrel" "is" "blue" "-")
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is not big.
("squirrel" "is" "big" "-")
int2
The rabbit is not cold.
Unknown
inv-random
[@0: The rabbit is cold.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "cold" "-")
The lion visits the lion.
Unknown
random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "+")
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 rabbit is young.
Unknown
random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "+")
The rabbit does not visit the rabbit.
Unknown
inv-random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "-")
The squirrel sees the squirrel.
Unknown
random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "+")
@0: The lion is blue.[(triple2)] The lion is not big.[(triple1)] The lion is not cold.[(triple3)] The lion is not young.[(triple4)] The lion needs the rabbit.[(triple5)] The lion sees the rabbit.[(triple6)] The lion sees the squirrel.[(triple7)] The rabbit is blue.[(triple8)] The rabbit is red.[(triple9)] The rabbit needs the squirrel.[(triple10)] The rabbit visits the lion.[(triple11)] The squirrel does not need the lion.[(triple12)] @1: The squirrel is not big.[(((triple7) -> rule1))] @2: The squirrel is blue.[(((((triple7) -> rule1)) -> rule2))]
The lion is blue.
("lion" "is" "blue" "+")
triple2
The lion is not big.
("lion" "is" "big" "-")
triple1
The lion is not cold.
("lion" "is" "cold" "-")
triple3
The lion is not young.
("lion" "is" "young" "-")
triple4
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
triple5
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
triple6
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
triple7
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple8
The rabbit is red.
("rabbit" "is" "red" "+")
triple9
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
triple10
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
triple11
The squirrel does not need the lion.
("squirrel" "needs" "lion" "-")
triple12
The squirrel is not big.
("squirrel" "is" "big" "-")
((triple7) -> (rule1 % int1))
The squirrel is not big.
("squirrel" "is" "big" "-")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is not big.
("squirrel" "is" "big" "-")
int2