The tiger is blue. The tiger is cold. The tiger is not kind. The tiger is rough. The tiger is round. If the tiger is blue and the tiger is round then the tiger is rough.
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is not kind.
("tiger" "is" "kind" "-")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is round.
("tiger" "is" "round" "+")
If the tiger is blue and the tiger is round then the tiger is rough.
((("tiger" "is" "blue" "+") ("tiger" "is" "round" "+")) -> ("tiger" "is" "rough" "+"))
The tiger is cold.
True
1
proof
[(triple2)]
("tiger" "is" "cold" "+")
triple2
The tiger is not cold.
False
1
inv-proof
[(triple2)]
("tiger" "is" "cold" "-")
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 eats the tiger.
Unknown
random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "+")
@0: The tiger is blue.[(triple1)] The tiger is cold.[(triple2)] The tiger is not kind.[(triple3)] The tiger is rough.[(triple4 OR ((triple1 triple5) -> rule1))] The tiger is round.[(triple5)]
The tiger is blue.
("tiger" "is" "blue" "+")
triple1
The tiger is cold.
("tiger" "is" "cold" "+")
triple2
The tiger is not kind.
("tiger" "is" "kind" "-")
triple3
The tiger is rough.
("tiger" "is" "rough" "+")
triple4
((triple1 triple5) -> (rule1 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
triple5