The tiger is cold. The tiger is green. The tiger is nice. The tiger is red. The tiger is rough. All nice people are green. Red, cold people are rough.
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
All nice people are green.
((("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
Red, cold people are rough.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
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 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 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)] The tiger is green.[(triple2 OR ((triple3) -> rule1))] The tiger is nice.[(triple3)] The tiger is red.[(triple4)] The tiger is rough.[(triple5 OR ((triple4 triple1) -> rule2))]
The tiger is cold.
("tiger" "is" "cold" "+")
triple1
The tiger is green.
("tiger" "is" "green" "+")
triple2
((triple3) -> (rule1 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
triple3
The tiger is red.
("tiger" "is" "red" "+")
triple4
The tiger is rough.
("tiger" "is" "rough" "+")
triple5
((triple4 triple1) -> (rule2 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1