The tiger is green. All kind things are nice. All round things are nice. Round, cold things are green. If the tiger is green then the tiger is cold. If something is nice then it is cold. All green things are nice. If the tiger is green and the tiger is nice then the tiger is cold. If the tiger is round then the tiger is nice.
The tiger is green.
("tiger" "is" "green" "+")
All kind things are nice.
((("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
All round things are nice.
((("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
Round, cold things are green.
((("something" "is" "round" "+") ("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
If the tiger is green then the tiger is cold.
((("tiger" "is" "green" "+")) -> ("tiger" "is" "cold" "+"))
If something is nice then it is cold.
((("something" "is" "nice" "+")) -> ("something" "is" "cold" "+"))
All green things are nice.
((("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
If the tiger is green and the tiger is nice then the tiger is cold.
((("tiger" "is" "green" "+") ("tiger" "is" "nice" "+")) -> ("tiger" "is" "cold" "+"))
If the tiger is round then the tiger is nice.
((("tiger" "is" "round" "+")) -> ("tiger" "is" "nice" "+"))
The tiger is green.
True
1
proof
[(triple1)]
("tiger" "is" "green" "+")
triple1
The tiger is not green.
False
1
inv-proof
[(triple1)]
("tiger" "is" "green" "-")
triple1
The tiger does not like the tiger.
Unknown
inv-random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "-")
The tiger sees the tiger.
Unknown
random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "+")
@0: The tiger is green.[(triple1)] @1: The tiger is cold.[(((triple1) -> rule4) OR ((((triple1) -> rule6)) -> rule5) OR ((triple1 ((triple1) -> rule6)) -> rule7))] The tiger is nice.[(((triple1) -> rule6))]
The tiger is green.
("tiger" "is" "green" "+")
triple1
The tiger is cold.
("tiger" "is" "cold" "+")
((triple1) -> (rule4 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
((((triple1) -> (rule6 % int2))) -> (rule5 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
((triple1 ((triple1) -> (rule6 % int2))) -> (rule7 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
((triple1) -> (rule6 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1