The tiger is cold. If something is rough then it is not round. Green, big things are round. If something is cold then it is not round. Big things are not rough. If the tiger is not big then the tiger is not round. If something is big and rough then it is not cold. If the tiger is round and the tiger is green then the tiger is cold. If something is round then it is not green.
The tiger is cold.
("tiger" "is" "cold" "+")
If something is rough then it is not round.
((("something" "is" "rough" "+")) -> ("something" "is" "round" "-"))
Green, big things are round.
((("something" "is" "green" "+") ("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
If something is cold then it is not round.
((("something" "is" "cold" "+")) -> ("something" "is" "round" "-"))
Big things are not rough.
((("something" "is" "big" "+")) -> ("something" "is" "rough" "-"))
If the tiger is not big then the tiger is not round.
((("tiger" "is" "big" "~")) -> ("tiger" "is" "round" "-"))
If something is big and rough then it is not cold.
((("something" "is" "big" "+") ("something" "is" "rough" "+")) -> ("something" "is" "cold" "-"))
If the tiger is round and the tiger is green then the tiger is cold.
((("tiger" "is" "round" "+") ("tiger" "is" "green" "+")) -> ("tiger" "is" "cold" "+"))
If something is round then it is not green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "-"))
The tiger is cold.
True
1
proof
[(triple1)]
("tiger" "is" "cold" "+")
triple1
The tiger is not cold.
False
1
inv-proof
[(triple1)]
("tiger" "is" "cold" "-")
triple1
The tiger is not round.
True
2
proof
[(((triple1) -> rule3))]
("tiger" "is" "round" "-")
((triple1) -> (rule3 % int1))
The tiger is not round.
("tiger" "is" "round" "-")
int1
The tiger is round.
False
2
inv-proof
[(((triple1) -> rule3))]
("tiger" "is" "round" "+")
((triple1) -> (rule3 % int1))
The tiger is not round.
("tiger" "is" "round" "-")
int1
The tiger is not rough.
Unknown
inv-random
[@0: The tiger is rough.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "rough" "-")
The tiger needs the tiger.
Unknown
random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "+")
The tiger does not chase the tiger.
Unknown
inv-random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "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 cold.[(triple1)] @1: The tiger is not round.[(((triple1) -> rule3))]
The tiger is cold.
("tiger" "is" "cold" "+")
triple1
The tiger is not round.
("tiger" "is" "round" "-")
((triple1) -> (rule3 % int1))
The tiger is not round.
("tiger" "is" "round" "-")
int1