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