The lion eats the mouse. The lion is cold. The lion is green. The lion sees the mouse. The lion visits the mouse. The mouse eats the lion. The mouse is not cold. The mouse is nice. The mouse sees the lion. The mouse does not visit the lion. If something is nice then it is not kind. If the mouse is nice and the mouse is green then the mouse sees the lion. If something is kind and green then it visits the lion. If something sees the mouse and it visits the lion then it is rough. If something eats the lion and it eats the mouse then the lion visits the mouse. If something eats the lion and the lion is kind then it sees the lion. If something eats the lion and it visits the lion then it does not eat the mouse. If the lion eats the mouse then the lion is kind.
The lion eats the mouse.
("lion" "eats" "mouse" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is green.
("lion" "is" "green" "+")
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 not cold.
("mouse" "is" "cold" "-")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse sees the lion.
("mouse" "sees" "lion" "+")
The mouse does not visit the lion.
("mouse" "visits" "lion" "-")
If something is nice then it is not kind.
((("something" "is" "nice" "+")) -> ("something" "is" "kind" "-"))
If the mouse is nice and the mouse is green then the mouse sees the lion.
((("mouse" "is" "nice" "+") ("mouse" "is" "green" "+")) -> ("mouse" "sees" "lion" "+"))
If something is kind and green then it visits the lion.
((("something" "is" "kind" "+") ("something" "is" "green" "+")) -> ("something" "visits" "lion" "+"))
If something sees the mouse and it visits the lion then it is rough.
((("something" "sees" "mouse" "+") ("something" "visits" "lion" "+")) -> ("something" "is" "rough" "+"))
If something eats the lion and it eats the mouse then the lion visits the mouse.
((("something" "eats" "lion" "+") ("something" "eats" "mouse" "+")) -> ("lion" "visits" "mouse" "+"))
If something eats the lion and the lion is kind then it sees the lion.
((("something" "eats" "lion" "+") ("lion" "is" "kind" "+")) -> ("something" "sees" "lion" "+"))
If something eats the lion and it visits the lion then it does not eat the mouse.
((("something" "eats" "lion" "+") ("something" "visits" "lion" "+")) -> ("something" "eats" "mouse" "-"))
If the lion eats the mouse then the lion is kind.
((("lion" "eats" "mouse" "+")) -> ("lion" "is" "kind" "+"))
The lion is green.
True
1
proof
[(triple3)]
("lion" "is" "green" "+")
triple3
The mouse visits the lion.
False
1
inv-proof
[(triple10)]
("mouse" "visits" "lion" "+")
triple10
The lion is kind.
True
2
proof
[(((triple1) -> rule8))]
("lion" "is" "kind" "+")
((triple1) -> (rule8 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion is not kind.
False
2
inv-proof
[(((triple1) -> rule8))]
("lion" "is" "kind" "-")
((triple1) -> (rule8 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion visits the lion.
True
4
proof
[(((((triple1) -> rule8) triple3) -> rule3))]
("lion" "visits" "lion" "+")
((((triple1) -> (rule8 % int2)) triple3) -> (rule3 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
int2
The lion does not visit the lion.
False
4
inv-proof
[(((((triple1) -> rule8) triple3) -> rule3))]
("lion" "visits" "lion" "-")
((((triple1) -> (rule8 % int2)) triple3) -> (rule3 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
int2
The lion is rough.
True
6
proof
[(((triple4 ((((triple1) -> rule8) triple3) -> rule3)) -> rule4))]
("lion" "is" "rough" "+")
((triple4 ((((triple1) -> (rule8 % int3)) triple3) -> (rule3 % int2))) -> (rule4 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion visits the lion.
("lion" "visits" "lion" "+")
int2
The lion is kind.
("lion" "is" "kind" "+")
int3
The lion is not rough.
False
6
inv-proof
[(((triple4 ((((triple1) -> rule8) triple3) -> rule3)) -> rule4))]
("lion" "is" "rough" "-")
((triple4 ((((triple1) -> (rule8 % int3)) triple3) -> (rule3 % int2))) -> (rule4 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion visits the lion.
("lion" "visits" "lion" "+")
int2
The lion is kind.
("lion" "is" "kind" "+")
int3
The mouse is not rough.
Unknown
inv-rconc
[@1: The mouse is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "is" "rough" "-")
The lion sees the lion.
Unknown
rconc
[@1: The lion sees the lion.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "sees" "lion" "+")
The mouse is not green.
Unknown
inv-random
[@0: The mouse is green.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "green" "-")
The mouse sees the mouse.
Unknown
random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "+")
The mouse does not eat the mouse.
Unknown
inv-random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "-")
The lion is nice.
Unknown
random
[@0: The lion is nice.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "nice" "+")
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 mouse visits the mouse.
Unknown
random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "mouse" "+")
@0: The lion eats the mouse.[(triple1)] The lion is cold.[(triple2)] The lion is green.[(triple3)] The lion sees the mouse.[(triple4)] The lion visits the mouse.[(triple5)] The mouse does not visit the lion.[(triple10)] The mouse eats the lion.[(triple6)] The mouse is nice.[(triple8)] The mouse is not cold.[(triple7)] The mouse sees the lion.[(triple9 OR ((triple6 ((triple1) -> rule8)) -> rule6))] @1: The lion is kind.[(((triple1) -> rule8))] The mouse is not kind.[(((triple8) -> rule1))] @2: The lion visits the lion.[(((((triple1) -> rule8) triple3) -> rule3))] @3: The lion is rough.[(((triple4 ((((triple1) -> rule8) triple3) -> rule3)) -> rule4))]
The lion eats the mouse.
("lion" "eats" "mouse" "+")
triple1
The lion is cold.
("lion" "is" "cold" "+")
triple2
The lion is green.
("lion" "is" "green" "+")
triple3
The lion sees the mouse.
("lion" "sees" "mouse" "+")
triple4
The lion visits the mouse.
("lion" "visits" "mouse" "+")
triple5
The mouse does not visit the lion.
("mouse" "visits" "lion" "-")
triple10
The mouse eats the lion.
("mouse" "eats" "lion" "+")
triple6
The mouse is nice.
("mouse" "is" "nice" "+")
triple8
The mouse is not cold.
("mouse" "is" "cold" "-")
triple7
The mouse sees the lion.
("mouse" "sees" "lion" "+")
triple9
((triple6 ((triple1) -> (rule8 % int2))) -> (rule6 % int1))
The mouse sees the lion.
("mouse" "sees" "lion" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
int2
The lion is kind.
("lion" "is" "kind" "+")
((triple1) -> (rule8 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The mouse is not kind.
("mouse" "is" "kind" "-")
((triple8) -> (rule1 % int1))
The mouse is not kind.
("mouse" "is" "kind" "-")
int1
The lion visits the lion.
("lion" "visits" "lion" "+")
((((triple1) -> (rule8 % int2)) triple3) -> (rule3 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
int2
The lion is rough.
("lion" "is" "rough" "+")
((triple4 ((((triple1) -> (rule8 % int3)) triple3) -> (rule3 % int2))) -> (rule4 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion visits the lion.
("lion" "visits" "lion" "+")
int2
The lion is kind.
("lion" "is" "kind" "+")
int3