The tiger is not cold. The tiger is green. The tiger is kind. The tiger is nice. The tiger is not round. If the tiger is kind then the tiger is nice. All nice, green people are kind. If the tiger is round then the tiger is green.
The tiger is not cold.
("tiger" "is" "cold" "-")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is not round.
("tiger" "is" "round" "-")
If the tiger is kind then the tiger is nice.
((("tiger" "is" "kind" "+")) -> ("tiger" "is" "nice" "+"))
All nice, green people are kind.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If the tiger is round then the tiger is green.
((("tiger" "is" "round" "+")) -> ("tiger" "is" "green" "+"))
The tiger is nice.
True
1
proof
[(triple4 OR ((triple3) -> rule1))]
("tiger" "is" "nice" "+")
triple4
((triple3) -> (rule1 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger is not kind.
False
1
inv-proof
[(triple3 OR ((triple4 triple2) -> rule2))]
("tiger" "is" "kind" "-")
triple3
((triple4 triple2) -> (rule2 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
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 visits the tiger.
Unknown
random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "+")
@0: The tiger is green.[(triple2)] The tiger is kind.[(triple3 OR ((triple4 triple2) -> rule2))] The tiger is nice.[(triple4 OR ((triple3) -> rule1))] The tiger is not cold.[(triple1)] The tiger is not round.[(triple5)]
The tiger is green.
("tiger" "is" "green" "+")
triple2
The tiger is kind.
("tiger" "is" "kind" "+")
triple3
((triple4 triple2) -> (rule2 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
triple4
((triple3) -> (rule1 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger is not cold.
("tiger" "is" "cold" "-")
triple1
The tiger is not round.
("tiger" "is" "round" "-")
triple5