The lion is blue. The lion is kind. The lion is nice. The lion is rough. The lion is round. If something is blue then it is kind. Kind things are round. All blue things are nice.
The lion is blue.
("lion" "is" "blue" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion is round.
("lion" "is" "round" "+")
If something is blue then it is kind.
((("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
Kind things are round.
((("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
All blue things are nice.
((("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
The lion is round.
True
1
proof
[(triple5 OR ((triple2) -> rule2) OR ((((triple1) -> rule1)) -> rule2))]
("lion" "is" "round" "+")
triple5
((triple2) -> (rule2 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
int2
The lion is not blue.
False
1
inv-proof
[(triple1)]
("lion" "is" "blue" "-")
triple1
The lion does not need the lion.
Unknown
inv-random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "-")
The lion chases the lion.
Unknown
random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "+")
@0: The lion is blue.[(triple1)] The lion is kind.[(triple2 OR ((triple1) -> rule1))] The lion is nice.[(triple3 OR ((triple1) -> rule3))] The lion is rough.[(triple4)] The lion is round.[(triple5 OR ((triple2) -> rule2) OR ((((triple1) -> rule1)) -> rule2))]
The lion is blue.
("lion" "is" "blue" "+")
triple1
The lion is kind.
("lion" "is" "kind" "+")
triple2
((triple1) -> (rule1 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
triple3
((triple1) -> (rule3 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
triple4
The lion is round.
("lion" "is" "round" "+")
triple5
((triple2) -> (rule2 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
int2