The tiger is blue. Blue people are young. If the tiger is blue and the tiger is young then the tiger is rough. If the tiger is red then the tiger is blue. Red people are blue. If the tiger is young then the tiger is red. If the tiger is blue and the tiger is green then the tiger is rough.
The tiger is blue.
("tiger" "is" "blue" "+")
Blue people are young.
((("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If the tiger is blue and the tiger is young then the tiger is rough.
((("tiger" "is" "blue" "+") ("tiger" "is" "young" "+")) -> ("tiger" "is" "rough" "+"))
If the tiger is red then the tiger is blue.
((("tiger" "is" "red" "+")) -> ("tiger" "is" "blue" "+"))
Red people are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If the tiger is young then the tiger is red.
((("tiger" "is" "young" "+")) -> ("tiger" "is" "red" "+"))
If the tiger is blue and the tiger is green then the tiger is rough.
((("tiger" "is" "blue" "+") ("tiger" "is" "green" "+")) -> ("tiger" "is" "rough" "+"))
The tiger is blue.
True
1
proof
[(triple1)]
("tiger" "is" "blue" "+")
triple1
The tiger is not blue.
False
1
inv-proof
[(triple1)]
("tiger" "is" "blue" "-")
triple1
The tiger is young.
True
2
proof
[(((triple1) -> rule1))]
("tiger" "is" "young" "+")
((triple1) -> (rule1 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger is not young.
False
2
inv-proof
[(((triple1) -> rule1))]
("tiger" "is" "young" "-")
((triple1) -> (rule1 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger is rough.
True
4
proof
[(((triple1 ((triple1) -> rule1)) -> rule2))]
("tiger" "is" "rough" "+")
((triple1 ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger is not red.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule5))]
("tiger" "is" "red" "-")
((((triple1) -> (rule1 % int2))) -> (rule5 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger does not chase the tiger.
Unknown
inv-random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "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 like the tiger.
Unknown
inv-random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "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)] @1: The tiger is young.[(((triple1) -> rule1))] @2: The tiger is red.[(((((triple1) -> rule1)) -> rule5))] The tiger is rough.[(((triple1 ((triple1) -> rule1)) -> rule2))]
The tiger is blue.
("tiger" "is" "blue" "+")
triple1
The tiger is young.
("tiger" "is" "young" "+")
((triple1) -> (rule1 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
((((triple1) -> (rule1 % int2))) -> (rule5 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger is rough.
("tiger" "is" "rough" "+")
((triple1 ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2