The lion eats the mouse. The lion is cold. The lion sees the mouse. The lion visits the mouse. The mouse eats the lion. The mouse is blue. The mouse is cold. The mouse is nice. The mouse sees the lion. The mouse visits the lion. If someone visits the lion then the lion sees the mouse. If someone sees the lion then they see the mouse. If someone eats the mouse and they are nice then they visit the lion. If someone is nice and cold then they visit the lion. If someone is cold then they are nice. If someone visits the lion and the lion is kind then they see the mouse.
The lion eats the mouse.
("lion" "eats" "mouse" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion sees the mouse.
("lion" "sees" "mouse" "+")
The lion visits the mouse.
("lion" "visits" "mouse" "+")
The mouse eats the lion.
("mouse" "eats" "lion" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse sees the lion.
("mouse" "sees" "lion" "+")
The mouse visits the lion.
("mouse" "visits" "lion" "+")
If someone visits the lion then the lion sees the mouse.
((("someone" "visits" "lion" "+")) -> ("lion" "sees" "mouse" "+"))
If someone sees the lion then they see the mouse.
((("someone" "sees" "lion" "+")) -> ("someone" "sees" "mouse" "+"))
If someone eats the mouse and they are nice then they visit the lion.
((("someone" "eats" "mouse" "+") ("someone" "is" "nice" "+")) -> ("someone" "visits" "lion" "+"))
If someone is nice and cold then they visit the lion.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "visits" "lion" "+"))
If someone is cold then they are nice.
((("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone visits the lion and the lion is kind then they see the mouse.
((("someone" "visits" "lion" "+") ("lion" "is" "kind" "+")) -> ("someone" "sees" "mouse" "+"))
The lion visits the mouse.
True
1
proof
[(triple4)]
("lion" "visits" "mouse" "+")
triple4
The mouse is not blue.
False
1
inv-proof
[(triple6)]
("mouse" "is" "blue" "-")
triple6
The lion is nice.
True
2
proof
[(((triple2) -> rule5))]
("lion" "is" "nice" "+")
((triple2) -> (rule5 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The mouse does not see the mouse.
False
2
inv-proof
[(((triple9) -> rule2))]
("mouse" "sees" "mouse" "-")
((triple9) -> (rule2 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The lion does not eat the lion.
Unknown
inv-random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "-")
The lion is kind.
Unknown
random
[@0: The lion is kind.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "kind" "+")
The mouse is not big.
Unknown
inv-random
[@0: The mouse is big.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "big" "-")
The lion sees the lion.
Unknown
random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "+")
@0: The lion eats the mouse.[(triple1)] The lion is cold.[(triple2)] The lion sees the mouse.[(triple3 OR ((triple10) -> rule1) OR ((((triple8 triple7) -> rule4)) -> rule1) OR ((((triple1 ((triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((triple2) -> rule5) triple2) -> rule4)) -> rule1) OR ((((((triple7) -> rule5) triple7) -> rule4)) -> rule1))] The lion visits the mouse.[(triple4)] The mouse eats the lion.[(triple5)] The mouse is blue.[(triple6)] The mouse is cold.[(triple7)] The mouse is nice.[(triple8 OR ((triple7) -> rule5))] The mouse sees the lion.[(triple9)] The mouse visits the lion.[(triple10 OR ((triple8 triple7) -> rule4) OR ((((triple7) -> rule5) triple7) -> rule4))] @1: The lion is nice.[(((triple2) -> rule5))] The mouse sees the mouse.[(((triple9) -> rule2))] @2: The lion visits the lion.[(((triple1 ((triple2) -> rule5)) -> rule3) OR ((((triple2) -> rule5) triple2) -> rule4))]
The lion eats the mouse.
("lion" "eats" "mouse" "+")
triple1
The lion is cold.
("lion" "is" "cold" "+")
triple2
The lion sees the mouse.
("lion" "sees" "mouse" "+")
triple3
((triple10) -> (rule1 % int1))
The lion sees the mouse.
("lion" "sees" "mouse" "+")
int1
((((triple8 triple7) -> (rule4 % int2))) -> (rule1 % int1))
The lion sees the mouse.
("lion" "sees" "mouse" "+")
int1
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int2
((((triple1 ((triple2) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The lion sees the mouse.
("lion" "sees" "mouse" "+")
int1
The lion visits the lion.
("lion" "visits" "lion" "+")
int2
The lion is nice.
("lion" "is" "nice" "+")
int3
((((((triple2) -> (rule5 % int3)) triple2) -> (rule4 % int2))) -> (rule1 % int1))
The lion sees the mouse.
("lion" "sees" "mouse" "+")
int1
The lion visits the lion.
("lion" "visits" "lion" "+")
int2
The lion is nice.
("lion" "is" "nice" "+")
int3
((((((triple7) -> (rule5 % int3)) triple7) -> (rule4 % int2))) -> (rule1 % int1))
The lion sees the mouse.
("lion" "sees" "mouse" "+")
int1
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int2
The mouse is nice.
("mouse" "is" "nice" "+")
int3
The lion visits the mouse.
("lion" "visits" "mouse" "+")
triple4
The mouse eats the lion.
("mouse" "eats" "lion" "+")
triple5
The mouse is blue.
("mouse" "is" "blue" "+")
triple6
The mouse is cold.
("mouse" "is" "cold" "+")
triple7
The mouse is nice.
("mouse" "is" "nice" "+")
triple8
((triple7) -> (rule5 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The mouse sees the lion.
("mouse" "sees" "lion" "+")
triple9
The mouse visits the lion.
("mouse" "visits" "lion" "+")
triple10
((triple8 triple7) -> (rule4 % int1))
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int1
((((triple7) -> (rule5 % int2)) triple7) -> (rule4 % int1))
The mouse visits the lion.
("mouse" "visits" "lion" "+")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
int2
The lion is nice.
("lion" "is" "nice" "+")
((triple2) -> (rule5 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
((triple9) -> (rule2 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The lion visits the lion.
("lion" "visits" "lion" "+")
((triple1 ((triple2) -> (rule5 % int2))) -> (rule3 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
((((triple2) -> (rule5 % int2)) triple2) -> (rule4 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2