The tiger is big. The tiger is green. The tiger is not kind. The tiger is rough. The tiger is round. If something is big and not rough then it is not round. All rough things are round.
The tiger is big.
("tiger" "is" "big" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is not kind.
("tiger" "is" "kind" "-")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is round.
("tiger" "is" "round" "+")
If something is big and not rough then it is not round.
((("something" "is" "big" "+") ("something" "is" "rough" "~")) -> ("something" "is" "round" "-"))
All rough things are round.
((("something" "is" "rough" "+")) -> ("something" "is" "round" "+"))
The tiger is not kind.
True
1
proof
[(triple3)]
("tiger" "is" "kind" "-")
triple3
The tiger is not rough.
False
1
inv-proof
[(triple4)]
("tiger" "is" "rough" "-")
triple4
The tiger does not need the tiger.
Unknown
inv-random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "-")
The tiger likes the tiger.
Unknown
random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "+")
@0: The tiger is big.[(triple1)] The tiger is green.[(triple2)] The tiger is not kind.[(triple3)] The tiger is rough.[(triple4)] The tiger is round.[(triple5 OR ((triple4) -> rule2))]
The tiger is big.
("tiger" "is" "big" "+")
triple1
The tiger is green.
("tiger" "is" "green" "+")
triple2
The tiger is not kind.
("tiger" "is" "kind" "-")
triple3
The tiger is rough.
("tiger" "is" "rough" "+")
triple4
The tiger is round.
("tiger" "is" "round" "+")
triple5
((triple4) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1