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