The tiger is cold. The tiger is kind. The tiger is red. The tiger is rough. The tiger is round. Red things are cold. If something is round then it is rough. All cold, round things are kind.
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is round.
("tiger" "is" "round" "+")
Red things are cold.
((("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
If something is round then it is rough.
((("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
All cold, round things are kind.
((("something" "is" "cold" "+") ("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
The tiger is rough.
True
1
proof
[(triple4 OR ((triple5) -> rule2))]
("tiger" "is" "rough" "+")
triple4
((triple5) -> (rule2 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is not round.
False
1
inv-proof
[(triple5)]
("tiger" "is" "round" "-")
triple5
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 chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
@0: The tiger is cold.[(triple1 OR ((triple3) -> rule1))] The tiger is kind.[(triple2 OR ((triple1 triple5) -> rule3) OR ((((triple3) -> rule1) triple5) -> rule3))] The tiger is red.[(triple3)] The tiger is rough.[(triple4 OR ((triple5) -> rule2))] The tiger is round.[(triple5)]
The tiger is cold.
("tiger" "is" "cold" "+")
triple1
((triple3) -> (rule1 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
triple2
((triple1 triple5) -> (rule3 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
((((triple3) -> (rule1 % int2)) triple5) -> (rule3 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
triple3
The tiger is rough.
("tiger" "is" "rough" "+")
triple4
((triple5) -> (rule2 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
triple5