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