The lion is blue. The lion is green. The lion is nice. The lion is red. The lion is rough. Green things are blue. Rough, green things are nice.
The lion is blue.
("lion" "is" "blue" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is rough.
("lion" "is" "rough" "+")
Green things are blue.
((("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
Rough, green things are nice.
((("something" "is" "rough" "+") ("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
The lion is blue.
True
1
proof
[(triple1 OR ((triple2) -> rule1))]
("lion" "is" "blue" "+")
triple1
((triple2) -> (rule1 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion is not green.
False
1
inv-proof
[(triple2)]
("lion" "is" "green" "-")
triple2
The lion does not visit the lion.
Unknown
inv-random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "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 OR ((triple2) -> rule1))] The lion is green.[(triple2)] The lion is nice.[(triple3 OR ((triple5 triple2) -> rule2))] The lion is red.[(triple4)] The lion is rough.[(triple5)]
The lion is blue.
("lion" "is" "blue" "+")
triple1
((triple2) -> (rule1 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion is green.
("lion" "is" "green" "+")
triple2
The lion is nice.
("lion" "is" "nice" "+")
triple3
((triple5 triple2) -> (rule2 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is red.
("lion" "is" "red" "+")
triple4
The lion is rough.
("lion" "is" "rough" "+")
triple5