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