The tiger is cold. The tiger is green. The tiger is red. Round, nice people are cold. Green, nice people are cold. If the tiger is round and the tiger is green then the tiger is cold. Nice, round people are green. If someone is cold and green then they are nice. All cold people are green.
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is red.
("tiger" "is" "red" "+")
Round, nice people are cold.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Green, nice people are cold.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "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" "+"))
Nice, round people are green.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and green then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
All cold people are green.
((("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
The tiger is green.
True
1
proof
[(triple2 OR ((triple1) -> rule6))]
("tiger" "is" "green" "+")
triple2
((triple1) -> (rule6 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger is not red.
False
1
inv-proof
[(triple3)]
("tiger" "is" "red" "-")
triple3
The tiger does not eat the tiger.
Unknown
inv-random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "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)] The tiger is green.[(triple2 OR ((triple1) -> rule6))] The tiger is red.[(triple3)] @1: The tiger is nice.[(((triple1 triple2) -> rule5) OR ((triple1 ((triple1) -> rule6)) -> rule5))]
The tiger is cold.
("tiger" "is" "cold" "+")
triple1
The tiger is green.
("tiger" "is" "green" "+")
triple2
((triple1) -> (rule6 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
triple3
The tiger is nice.
("tiger" "is" "nice" "+")
((triple1 triple2) -> (rule5 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
((triple1 ((triple1) -> (rule6 % int2))) -> (rule5 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2