The bear eats the lion. The lion chases the mouse. The lion chases the tiger. The lion eats the bear. The lion eats the mouse. The lion eats the tiger. The lion is nice. The lion is red. The mouse is red. The mouse visits the bear. The mouse visits the lion. The tiger chases the bear. The tiger chases the lion. The tiger chases the mouse. The tiger is big. If something is big then it is red. If the lion is blue then the lion visits the tiger. If the tiger is red and the tiger chases the lion then the lion is blue. If something chases the lion then the lion visits the mouse. If the tiger chases the bear and the tiger is big then the bear visits the lion. If something chases the tiger and it eats the mouse then the tiger chases the mouse.
The bear eats the lion.
("bear" "eats" "lion" "+")
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The lion chases the tiger.
("lion" "chases" "tiger" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion eats the mouse.
("lion" "eats" "mouse" "+")
The lion eats the tiger.
("lion" "eats" "tiger" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is red.
("lion" "is" "red" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
The mouse visits the lion.
("mouse" "visits" "lion" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
The tiger is big.
("tiger" "is" "big" "+")
If something is big then it is red.
((("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
If the lion is blue then the lion visits the tiger.
((("lion" "is" "blue" "+")) -> ("lion" "visits" "tiger" "+"))
If the tiger is red and the tiger chases the lion then the lion is blue.
((("tiger" "is" "red" "+") ("tiger" "chases" "lion" "+")) -> ("lion" "is" "blue" "+"))
If something chases the lion then the lion visits the mouse.
((("something" "chases" "lion" "+")) -> ("lion" "visits" "mouse" "+"))
If the tiger chases the bear and the tiger is big then the bear visits the lion.
((("tiger" "chases" "bear" "+") ("tiger" "is" "big" "+")) -> ("bear" "visits" "lion" "+"))
If something chases the tiger and it eats the mouse then the tiger chases the mouse.
((("something" "chases" "tiger" "+") ("something" "eats" "mouse" "+")) -> ("tiger" "chases" "mouse" "+"))
The lion is nice.
True
1
proof
[(triple7)]
("lion" "is" "nice" "+")
triple7
The lion does not eat the mouse.
False
1
inv-proof
[(triple5)]
("lion" "eats" "mouse" "-")
triple5
The tiger is red.
True
2
proof
[(((triple15) -> rule1))]
("tiger" "is" "red" "+")
((triple15) -> (rule1 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The bear does not visit the lion.
False
3
inv-proof
[(((triple12 triple15) -> rule5))]
("bear" "visits" "lion" "-")
((triple12 triple15) -> (rule5 % int1))
The bear visits the lion.
("bear" "visits" "lion" "+")
int1
The lion is blue.
True
4
proof
[(((((triple15) -> rule1) triple13) -> rule3))]
("lion" "is" "blue" "+")
((((triple15) -> (rule1 % int2)) triple13) -> (rule3 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The lion is not blue.
False
4
inv-proof
[(((((triple15) -> rule1) triple13) -> rule3))]
("lion" "is" "blue" "-")
((((triple15) -> (rule1 % int2)) triple13) -> (rule3 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The lion visits the tiger.
True
5
proof
[(((((((triple15) -> rule1) triple13) -> rule3)) -> rule2))]
("lion" "visits" "tiger" "+")
((((((triple15) -> (rule1 % int3)) triple13) -> (rule3 % int2))) -> (rule2 % int1))
The lion visits the tiger.
("lion" "visits" "tiger" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
The lion does not visit the tiger.
False
5
inv-proof
[(((((((triple15) -> rule1) triple13) -> rule3)) -> rule2))]
("lion" "visits" "tiger" "-")
((((((triple15) -> (rule1 % int3)) triple13) -> (rule3 % int2))) -> (rule2 % int1))
The lion visits the tiger.
("lion" "visits" "tiger" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
The bear is not red.
Unknown
inv-rconc
[@1: The bear is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "red" "-")
The bear is young.
Unknown
random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "+")
The tiger does not eat the lion.
Unknown
inv-random
[@0: The tiger eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "lion" "-")
The mouse is big.
Unknown
random
[@0: The mouse is big.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "big" "+")
The bear does not eat the tiger.
Unknown
inv-random
[@0: The bear eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "tiger" "-")
The lion visits the bear.
Unknown
random
[@0: The lion visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "bear" "+")
The mouse does not eat the bear.
Unknown
inv-random
[@0: The mouse eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "bear" "-")
The mouse is young.
Unknown
random
[@0: The mouse is young.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "young" "+")
@0: The bear eats the lion.[(triple1)] The lion chases the mouse.[(triple2)] The lion chases the tiger.[(triple3)] The lion eats the bear.[(triple4)] The lion eats the mouse.[(triple5)] The lion eats the tiger.[(triple6)] The lion is nice.[(triple7)] The lion is red.[(triple8)] The mouse is red.[(triple9)] The mouse visits the bear.[(triple10)] The mouse visits the lion.[(triple11)] The tiger chases the bear.[(triple12)] The tiger chases the lion.[(triple13)] The tiger chases the mouse.[(triple14 OR ((triple3 triple5) -> rule6))] The tiger is big.[(triple15)] @1: The bear visits the lion.[(((triple12 triple15) -> rule5))] The lion visits the mouse.[(((triple13) -> rule4))] The tiger is red.[(((triple15) -> rule1))] @2: The lion is blue.[(((((triple15) -> rule1) triple13) -> rule3))] @3: The lion visits the tiger.[(((((((triple15) -> rule1) triple13) -> rule3)) -> rule2))]
The bear eats the lion.
("bear" "eats" "lion" "+")
triple1
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple2
The lion chases the tiger.
("lion" "chases" "tiger" "+")
triple3
The lion eats the bear.
("lion" "eats" "bear" "+")
triple4
The lion eats the mouse.
("lion" "eats" "mouse" "+")
triple5
The lion eats the tiger.
("lion" "eats" "tiger" "+")
triple6
The lion is nice.
("lion" "is" "nice" "+")
triple7
The lion is red.
("lion" "is" "red" "+")
triple8
The mouse is red.
("mouse" "is" "red" "+")
triple9
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple10
The mouse visits the lion.
("mouse" "visits" "lion" "+")
triple11
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple12
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple13
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
triple14
((triple3 triple5) -> (rule6 % int1))
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
triple15
The bear visits the lion.
("bear" "visits" "lion" "+")
((triple12 triple15) -> (rule5 % int1))
The bear visits the lion.
("bear" "visits" "lion" "+")
int1
The lion visits the mouse.
("lion" "visits" "mouse" "+")
((triple13) -> (rule4 % int1))
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
((triple15) -> (rule1 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
((((triple15) -> (rule1 % int2)) triple13) -> (rule3 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The lion visits the tiger.
("lion" "visits" "tiger" "+")
((((((triple15) -> (rule1 % int3)) triple13) -> (rule3 % int2))) -> (rule2 % int1))
The lion visits the tiger.
("lion" "visits" "tiger" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3