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