The tiger is blue. The tiger is green. The tiger is red. The tiger is not rough. The tiger is not round. All round things are red. Green things are red. If the tiger is blue then the tiger is green.
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is not rough.
("tiger" "is" "rough" "-")
The tiger is not round.
("tiger" "is" "round" "-")
All round things are red.
((("something" "is" "round" "+")) -> ("something" "is" "red" "+"))
Green things are red.
((("something" "is" "green" "+")) -> ("something" "is" "red" "+"))
If the tiger is blue then the tiger is green.
((("tiger" "is" "blue" "+")) -> ("tiger" "is" "green" "+"))
The tiger is blue.
True
1
proof
[(triple1)]
("tiger" "is" "blue" "+")
triple1
The tiger is not red.
False
1
inv-proof
[(triple3 OR ((triple2) -> rule2) OR ((((triple1) -> rule3)) -> rule2))]
("tiger" "is" "red" "-")
triple3
((triple2) -> (rule2 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
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 eats the tiger.
Unknown
random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "+")
@0: The tiger is blue.[(triple1)] The tiger is green.[(triple2 OR ((triple1) -> rule3))] The tiger is not rough.[(triple4)] The tiger is not round.[(triple5)] The tiger is red.[(triple3 OR ((triple2) -> rule2) OR ((((triple1) -> rule3)) -> rule2))]
The tiger is blue.
("tiger" "is" "blue" "+")
triple1
The tiger is green.
("tiger" "is" "green" "+")
triple2
((triple1) -> (rule3 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger is not rough.
("tiger" "is" "rough" "-")
triple4
The tiger is not round.
("tiger" "is" "round" "-")
triple5
The tiger is red.
("tiger" "is" "red" "+")
triple3
((triple2) -> (rule2 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2