The bear eats the lion. The bear eats the mouse. The bear is cold. The bear is round. The bear is young. The bear does not need the lion. The lion eats the bear. The lion eats the mouse. The lion is nice. The lion is young. The lion does not like the mouse. The mouse does not eat the bear. The mouse is kind. The mouse is round. The mouse likes the lion. If something eats the lion then it likes the bear. If something likes the lion and the lion does not eat the bear then the lion is cold. If something is young and it does not need the lion then it is round. If something likes the bear then it is kind. If something needs the lion then the lion needs the mouse. If something eats the mouse then it eats the lion. If something likes the lion and it does not need the lion then it needs the bear. If the bear is not kind and the bear does not eat the mouse then the bear is not nice.
The bear eats the lion.
("bear" "eats" "lion" "+")
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is round.
("bear" "is" "round" "+")
The bear is young.
("bear" "is" "young" "+")
The bear does not need the lion.
("bear" "needs" "lion" "-")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion eats the mouse.
("lion" "eats" "mouse" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is young.
("lion" "is" "young" "+")
The lion does not like the mouse.
("lion" "likes" "mouse" "-")
The mouse does not eat the bear.
("mouse" "eats" "bear" "-")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse likes the lion.
("mouse" "likes" "lion" "+")
If something eats the lion then it likes the bear.
((("something" "eats" "lion" "+")) -> ("something" "likes" "bear" "+"))
If something likes the lion and the lion does not eat the bear then the lion is cold.
((("something" "likes" "lion" "+") ("lion" "eats" "bear" "~")) -> ("lion" "is" "cold" "+"))
If something is young and it does not need the lion then it is round.
((("something" "is" "young" "+") ("something" "needs" "lion" "~")) -> ("something" "is" "round" "+"))
If something likes the bear then it is kind.
((("something" "likes" "bear" "+")) -> ("something" "is" "kind" "+"))
If something needs the lion then the lion needs the mouse.
((("something" "needs" "lion" "+")) -> ("lion" "needs" "mouse" "+"))
If something eats the mouse then it eats the lion.
((("something" "eats" "mouse" "+")) -> ("something" "eats" "lion" "+"))
If something likes the lion and it does not need the lion then it needs the bear.
((("something" "likes" "lion" "+") ("something" "needs" "lion" "~")) -> ("something" "needs" "bear" "+"))
If the bear is not kind and the bear does not eat the mouse then the bear is not nice.
((("bear" "is" "kind" "~") ("bear" "eats" "mouse" "~")) -> ("bear" "is" "nice" "-"))
The lion eats the bear.
True
1
proof
[(triple7)]
("lion" "eats" "bear" "+")
triple7
The lion does not eat the bear.
False
1
inv-proof
[(triple7)]
("lion" "eats" "bear" "-")
triple7
The bear likes the bear.
True
2
proof
[(((triple1) -> rule1) OR ((((triple2) -> rule6)) -> rule1))]
("bear" "likes" "bear" "+")
((triple1) -> (rule1 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
((((triple2) -> (rule6 % int2))) -> (rule1 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear eats the lion.
("bear" "eats" "lion" "+")
int2
The bear does not like the bear.
False
2
inv-proof
[(((triple1) -> rule1) OR ((((triple2) -> rule6)) -> rule1))]
("bear" "likes" "bear" "-")
((triple1) -> (rule1 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
((((triple2) -> (rule6 % int2))) -> (rule1 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear eats the lion.
("bear" "eats" "lion" "+")
int2
The lion likes the bear.
True
3
proof
[(((((triple8) -> rule6)) -> rule1))]
("lion" "likes" "bear" "+")
((((triple8) -> (rule6 % int2))) -> (rule1 % int1))
The lion likes the bear.
("lion" "likes" "bear" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
int2
The lion does not like the bear.
False
3
inv-proof
[(((((triple8) -> rule6)) -> rule1))]
("lion" "likes" "bear" "-")
((((triple8) -> (rule6 % int2))) -> (rule1 % int1))
The lion likes the bear.
("lion" "likes" "bear" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
int2
The lion is kind.
True
4
proof
[(((((((triple8) -> rule6)) -> rule1)) -> rule4))]
("lion" "is" "kind" "+")
((((((triple8) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
int2
The lion eats the lion.
("lion" "eats" "lion" "+")
int3
The lion is not kind.
False
4
inv-proof
[(((((((triple8) -> rule6)) -> rule1)) -> rule4))]
("lion" "is" "kind" "-")
((((((triple8) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
int2
The lion eats the lion.
("lion" "eats" "lion" "+")
int3
The lion does not need the mouse.
Unknown
inv-rconc
[@1: The lion needs the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "needs" "mouse" "-")
The lion is round.
Unknown
rconc
[@1: The lion is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "is" "round" "+")
The lion is not cold.
Unknown
inv-rconc
[@1: The lion is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "is" "cold" "-")
The lion needs the bear.
Unknown
rconc
[@1: The lion needs the bear.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("lion" "needs" "bear" "+")
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 mouse is young.
Unknown
random
[@0: The mouse is young.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "young" "+")
The mouse does not like the mouse.
Unknown
inv-random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
@0: The bear does not need the lion.[(triple6)] The bear eats the lion.[(triple1 OR ((triple2) -> rule6))] The bear eats the mouse.[(triple2)] The bear is cold.[(triple3)] The bear is round.[(triple4 OR ((triple5 triple6) -> rule3))] The bear is young.[(triple5)] The lion does not like the mouse.[(triple11)] The lion eats the bear.[(triple7)] The lion eats the mouse.[(triple8)] The lion is nice.[(triple9)] The lion is young.[(triple10)] The mouse does not eat the bear.[(triple12)] The mouse is kind.[(triple13)] The mouse is round.[(triple14)] The mouse likes the lion.[(triple15)] @1: The bear likes the bear.[(((triple1) -> rule1) OR ((((triple2) -> rule6)) -> rule1))] The lion eats the lion.[(((triple8) -> rule6))] @2: The bear is kind.[(((((triple1) -> rule1)) -> rule4) OR ((((((triple2) -> rule6)) -> rule1)) -> rule4))] The lion likes the bear.[(((((triple8) -> rule6)) -> rule1))] @3: The lion is kind.[(((((((triple8) -> rule6)) -> rule1)) -> rule4))]
The bear does not need the lion.
("bear" "needs" "lion" "-")
triple6
The bear eats the lion.
("bear" "eats" "lion" "+")
triple1
((triple2) -> (rule6 % int1))
The bear eats the lion.
("bear" "eats" "lion" "+")
int1
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple2
The bear is cold.
("bear" "is" "cold" "+")
triple3
The bear is round.
("bear" "is" "round" "+")
triple4
((triple5 triple6) -> (rule3 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is young.
("bear" "is" "young" "+")
triple5
The lion does not like the mouse.
("lion" "likes" "mouse" "-")
triple11
The lion eats the bear.
("lion" "eats" "bear" "+")
triple7
The lion eats the mouse.
("lion" "eats" "mouse" "+")
triple8
The lion is nice.
("lion" "is" "nice" "+")
triple9
The lion is young.
("lion" "is" "young" "+")
triple10
The mouse does not eat the bear.
("mouse" "eats" "bear" "-")
triple12
The mouse is kind.
("mouse" "is" "kind" "+")
triple13
The mouse is round.
("mouse" "is" "round" "+")
triple14
The mouse likes the lion.
("mouse" "likes" "lion" "+")
triple15
The bear likes the bear.
("bear" "likes" "bear" "+")
((triple1) -> (rule1 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
((((triple2) -> (rule6 % int2))) -> (rule1 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear eats the lion.
("bear" "eats" "lion" "+")
int2
The lion eats the lion.
("lion" "eats" "lion" "+")
((triple8) -> (rule6 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
((((triple1) -> (rule1 % int2))) -> (rule4 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
((((((triple2) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The bear eats the lion.
("bear" "eats" "lion" "+")
int3
The lion likes the bear.
("lion" "likes" "bear" "+")
((((triple8) -> (rule6 % int2))) -> (rule1 % int1))
The lion likes the bear.
("lion" "likes" "bear" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
int2
The lion is kind.
("lion" "is" "kind" "+")
((((((triple8) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
int2
The lion eats the lion.
("lion" "eats" "lion" "+")
int3