The tiger is not big. The tiger is green. The tiger is round. If the tiger is nice and the tiger is not round then the tiger is cold. Cold, nice things are big. If something is green and not round then it is not big.
The tiger is not big.
("tiger" "is" "big" "-")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is round.
("tiger" "is" "round" "+")
If the tiger is nice and the tiger is not round then the tiger is cold.
((("tiger" "is" "nice" "+") ("tiger" "is" "round" "~")) -> ("tiger" "is" "cold" "+"))
Cold, nice things are big.
((("something" "is" "cold" "+") ("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
If something is green and not round then it is not big.
((("something" "is" "green" "+") ("something" "is" "round" "~")) -> ("something" "is" "big" "-"))
The tiger is green.
True
1
proof
[(triple2)]
("tiger" "is" "green" "+")
triple2
The tiger is not green.
False
1
inv-proof
[(triple2)]
("tiger" "is" "green" "-")
triple2
The tiger is not cold.
Unknown
inv-rconc
[@1: The tiger is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "cold" "-")
The tiger is nice.
Unknown
random
[@0: The tiger is nice.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "nice" "+")
@0: The tiger is green.[(triple2)] The tiger is not big.[(triple1)] The tiger is round.[(triple3)]
The tiger is green.
("tiger" "is" "green" "+")
triple2
The tiger is not big.
("tiger" "is" "big" "-")
triple1
The tiger is round.
("tiger" "is" "round" "+")
triple3