The tiger is red. Red people are blue. Cold, blue people are nice. If the tiger is blue and the tiger is nice then the tiger is red. If the tiger is nice then the tiger is blue. Blue, nice people are green. Nice people are blue. Red people are nice. If the tiger is green and the tiger is cold then the tiger is nice.
The tiger is red.
("tiger" "is" "red" "+")
Red people are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
Cold, blue people are nice.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If the tiger is blue and the tiger is nice then the tiger is red.
((("tiger" "is" "blue" "+") ("tiger" "is" "nice" "+")) -> ("tiger" "is" "red" "+"))
If the tiger is nice then the tiger is blue.
((("tiger" "is" "nice" "+")) -> ("tiger" "is" "blue" "+"))
Blue, nice people are green.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
Nice people are blue.
((("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
Red people are nice.
((("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If the tiger is green and the tiger is cold then the tiger is nice.
((("tiger" "is" "green" "+") ("tiger" "is" "cold" "+")) -> ("tiger" "is" "nice" "+"))
The tiger is red.
True
1
proof
[(triple1)]
("tiger" "is" "red" "+")
triple1
The tiger is not red.
False
1
inv-proof
[(triple1)]
("tiger" "is" "red" "-")
triple1
The tiger is nice.
True
2
proof
[(((triple1) -> rule7))]
("tiger" "is" "nice" "+")
((triple1) -> (rule7 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger is not blue.
False
2
inv-proof
[(((triple1) -> rule1) OR ((((triple1) -> rule7)) -> rule4) OR ((((triple1) -> rule7)) -> rule6))]
("tiger" "is" "blue" "-")
((triple1) -> (rule1 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
((((triple1) -> (rule7 % int2))) -> (rule4 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
((((triple1) -> (rule7 % int2))) -> (rule6 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
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 is cold.
Unknown
random
[@0: The tiger is cold.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "cold" "+")
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 likes the tiger.
Unknown
random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "+")
@0: The tiger is red.[(triple1)] @1: The tiger is blue.[(((triple1) -> rule1) OR ((((triple1) -> rule7)) -> rule4) OR ((((triple1) -> rule7)) -> rule6))] The tiger is nice.[(((triple1) -> rule7))] @2: The tiger is green.[(((((triple1) -> rule1) ((triple1) -> rule7)) -> rule5) OR ((((((triple1) -> rule7)) -> rule4) ((triple1) -> rule7)) -> rule5) OR ((((((triple1) -> rule7)) -> rule6) ((triple1) -> rule7)) -> rule5))]
The tiger is red.
("tiger" "is" "red" "+")
triple1
The tiger is blue.
("tiger" "is" "blue" "+")
((triple1) -> (rule1 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
((((triple1) -> (rule7 % int2))) -> (rule4 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
((((triple1) -> (rule7 % int2))) -> (rule6 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
((triple1) -> (rule7 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
((((triple1) -> (rule1 % int3)) ((triple1) -> (rule7 % int2))) -> (rule5 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is blue.
("tiger" "is" "blue" "+")
int3
((((((triple1) -> (rule7 % int3))) -> (rule4 % int2)) ((triple1) -> (rule7 % int3))) -> (rule5 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
int3
((((((triple1) -> (rule7 % int3))) -> (rule6 % int2)) ((triple1) -> (rule7 % int3))) -> (rule5 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
int3