The lion is blue. The lion is green. The lion is rough. The lion is round. The lion is young. If the lion is blue then the lion is green. If something is rough then it is green. If something is round then it is rough. Rough, blue things are round. If the lion is young and the lion is blue then the lion is round. Blue things are round.
The lion is blue.
("lion" "is" "blue" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion is round.
("lion" "is" "round" "+")
The lion is young.
("lion" "is" "young" "+")
If the lion is blue then the lion is green.
((("lion" "is" "blue" "+")) -> ("lion" "is" "green" "+"))
If something is rough then it is green.
((("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
If something is round then it is rough.
((("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
Rough, blue things are round.
((("something" "is" "rough" "+") ("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
If the lion is young and the lion is blue then the lion is round.
((("lion" "is" "young" "+") ("lion" "is" "blue" "+")) -> ("lion" "is" "round" "+"))
Blue things are round.
((("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
The lion is young.
True
1
proof
[(triple5)]
("lion" "is" "young" "+")
triple5
The lion is not young.
False
1
inv-proof
[(triple5)]
("lion" "is" "young" "-")
triple5
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 lion needs the lion.
Unknown
random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "+")
@0: The lion is blue.[(triple1)] The lion is green.[(triple2 OR ((triple1) -> rule1) OR ((triple3) -> rule2) OR ((((triple4) -> rule3)) -> rule2) OR ((((((triple1) -> rule6)) -> rule3)) -> rule2) OR ((((((triple5 triple1) -> rule5)) -> rule3)) -> rule2))] The lion is rough.[(triple3 OR ((triple4) -> rule3) OR ((((triple1) -> rule6)) -> rule3) OR ((((triple5 triple1) -> rule5)) -> rule3))] The lion is round.[(triple4 OR ((triple1) -> rule6) OR ((triple3 triple1) -> rule4) OR ((triple5 triple1) -> rule5))] The lion is young.[(triple5)]
The lion is blue.
("lion" "is" "blue" "+")
triple1
The lion is green.
("lion" "is" "green" "+")
triple2
((triple1) -> (rule1 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
((triple3) -> (rule2 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
((((triple4) -> (rule3 % int2))) -> (rule2 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
((((((triple1) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is round.
("lion" "is" "round" "+")
int3
((((((triple5 triple1) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is round.
("lion" "is" "round" "+")
int3
The lion is rough.
("lion" "is" "rough" "+")
triple3
((triple4) -> (rule3 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
((((triple1) -> (rule6 % int2))) -> (rule3 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
((((triple5 triple1) -> (rule5 % int2))) -> (rule3 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The lion is round.
("lion" "is" "round" "+")
triple4
((triple1) -> (rule6 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
((triple3 triple1) -> (rule4 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
((triple5 triple1) -> (rule5 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is young.
("lion" "is" "young" "+")
triple5