The tiger is cold. The tiger is green. The tiger is kind. The tiger is rough. The tiger is round. All cold things are round.
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is round.
("tiger" "is" "round" "+")
All cold things are round.
((("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
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 does not see the tiger.
Unknown
inv-random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "-")
The tiger needs the tiger.
Unknown
random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "+")
@0: The tiger is cold.[(triple1)] The tiger is green.[(triple2)] The tiger is kind.[(triple3)] The tiger is rough.[(triple4)] The tiger is round.[(triple5 OR ((triple1) -> rule1))]
The tiger is cold.
("tiger" "is" "cold" "+")
triple1
The tiger is green.
("tiger" "is" "green" "+")
triple2
The tiger is kind.
("tiger" "is" "kind" "+")
triple3
The tiger is rough.
("tiger" "is" "rough" "+")
triple4
The tiger is round.
("tiger" "is" "round" "+")
triple5
((triple1) -> (rule1 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1