The bear eats the lion. The bear is blue. The bear is kind. The bear is red. The bear is round. The bear likes the lion. The bear visits the lion. The lion eats the bear. The lion is blue. The lion is green. The lion is kind. The lion is red. The lion is round. The lion likes the bear. The lion visits the bear. If something is kind then it eats the lion. If something eats the lion and it is round then it likes the lion. If something is blue then it eats the lion.
The bear eats the lion.
("bear" "eats" "lion" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is round.
("bear" "is" "round" "+")
The bear likes the lion.
("bear" "likes" "lion" "+")
The bear visits the lion.
("bear" "visits" "lion" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is round.
("lion" "is" "round" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
If something is kind then it eats the lion.
((("something" "is" "kind" "+")) -> ("something" "eats" "lion" "+"))
If something eats the lion and it is round then it likes the lion.
((("something" "eats" "lion" "+") ("something" "is" "round" "+")) -> ("something" "likes" "lion" "+"))
If something is blue then it eats the lion.
((("something" "is" "blue" "+")) -> ("something" "eats" "lion" "+"))
The bear is round.
True
1
proof
[(triple5)]
("bear" "is" "round" "+")
triple5
The lion is not kind.
False
1
inv-proof
[(triple11)]
("lion" "is" "kind" "-")
triple11
The lion eats the lion.
True
2
proof
[(((triple11) -> rule1) OR ((triple9) -> rule3))]
("lion" "eats" "lion" "+")
((triple11) -> (rule1 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
((triple9) -> (rule3 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion does not eat the lion.
False
2
inv-proof
[(((triple11) -> rule1) OR ((triple9) -> rule3))]
("lion" "eats" "lion" "-")
((triple11) -> (rule1 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
((triple9) -> (rule3 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion likes the lion.
True
4
proof
[(((((triple11) -> rule1) triple13) -> rule2) OR ((((triple9) -> rule3) triple13) -> rule2))]
("lion" "likes" "lion" "+")
((((triple11) -> (rule1 % int2)) triple13) -> (rule2 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
int2
((((triple9) -> (rule3 % int2)) triple13) -> (rule2 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
int2
The lion does not like the lion.
False
4
inv-proof
[(((((triple11) -> rule1) triple13) -> rule2) OR ((((triple9) -> rule3) triple13) -> rule2))]
("lion" "likes" "lion" "-")
((((triple11) -> (rule1 % int2)) triple13) -> (rule2 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
int2
((((triple9) -> (rule3 % int2)) triple13) -> (rule2 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
int2
The bear does not visit the bear.
Unknown
inv-random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
The bear is not green.
Unknown
inv-random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "-")
The lion visits the lion.
Unknown
random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "+")
@0: The bear eats the lion.[(triple1 OR ((triple2) -> rule3) OR ((triple3) -> rule1))] The bear is blue.[(triple2)] The bear is kind.[(triple3)] The bear is red.[(triple4)] The bear is round.[(triple5)] The bear likes the lion.[(triple6 OR ((triple1 triple5) -> rule2) OR ((((triple2) -> rule3) triple5) -> rule2) OR ((((triple3) -> rule1) triple5) -> rule2))] The bear visits the lion.[(triple7)] The lion eats the bear.[(triple8)] The lion is blue.[(triple9)] The lion is green.[(triple10)] The lion is kind.[(triple11)] The lion is red.[(triple12)] The lion is round.[(triple13)] The lion likes the bear.[(triple14)] The lion visits the bear.[(triple15)] @1: The lion eats the lion.[(((triple11) -> rule1) OR ((triple9) -> rule3))] @2: The lion likes the lion.[(((((triple11) -> rule1) triple13) -> rule2) OR ((((triple9) -> rule3) triple13) -> rule2))]
The bear eats the lion.
("bear" "eats" "lion" "+")
triple1
((triple2) -> (rule3 % int1))
The bear eats the lion.
("bear" "eats" "lion" "+")
int1
((triple3) -> (rule1 % int1))
The bear eats the lion.
("bear" "eats" "lion" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is kind.
("bear" "is" "kind" "+")
triple3
The bear is red.
("bear" "is" "red" "+")
triple4
The bear is round.
("bear" "is" "round" "+")
triple5
The bear likes the lion.
("bear" "likes" "lion" "+")
triple6
((triple1 triple5) -> (rule2 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
((((triple2) -> (rule3 % int2)) triple5) -> (rule2 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
The bear eats the lion.
("bear" "eats" "lion" "+")
int2
((((triple3) -> (rule1 % int2)) triple5) -> (rule2 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
The bear eats the lion.
("bear" "eats" "lion" "+")
int2
The bear visits the lion.
("bear" "visits" "lion" "+")
triple7
The lion eats the bear.
("lion" "eats" "bear" "+")
triple8
The lion is blue.
("lion" "is" "blue" "+")
triple9
The lion is green.
("lion" "is" "green" "+")
triple10
The lion is kind.
("lion" "is" "kind" "+")
triple11
The lion is red.
("lion" "is" "red" "+")
triple12
The lion is round.
("lion" "is" "round" "+")
triple13
The lion likes the bear.
("lion" "likes" "bear" "+")
triple14
The lion visits the bear.
("lion" "visits" "bear" "+")
triple15
The lion eats the lion.
("lion" "eats" "lion" "+")
((triple11) -> (rule1 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
((triple9) -> (rule3 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion likes the lion.
("lion" "likes" "lion" "+")
((((triple11) -> (rule1 % int2)) triple13) -> (rule2 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
int2
((((triple9) -> (rule3 % int2)) triple13) -> (rule2 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
int2