The tiger is cold. The tiger is nice. The tiger is young. Cold, young people are red. If someone is red then they are cold. Young people are nice. If someone is red then they are not round. If someone is nice and not young then they are round. If the tiger is not cold then the tiger is nice.
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is young.
("tiger" "is" "young" "+")
Cold, young people are red.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is red then they are cold.
((("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
Young people are nice.
((("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is red then they are not round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "-"))
If someone is nice and not young then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "round" "+"))
If the tiger is not cold then the tiger is nice.
((("tiger" "is" "cold" "~")) -> ("tiger" "is" "nice" "+"))
The tiger is young.
True
1
proof
[(triple3)]
("tiger" "is" "young" "+")
triple3
The tiger is not cold.
False
1
inv-proof
[(triple1)]
("tiger" "is" "cold" "-")
triple1
The tiger is red.
True
3
proof
[(((triple1 triple3) -> rule1))]
("tiger" "is" "red" "+")
((triple1 triple3) -> (rule1 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger is not red.
False
3
inv-proof
[(((triple1 triple3) -> rule1))]
("tiger" "is" "red" "-")
((triple1 triple3) -> (rule1 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger is not round.
True
4
proof
[(((((triple1 triple3) -> rule1)) -> rule4))]
("tiger" "is" "round" "-")
((((triple1 triple3) -> (rule1 % int2))) -> (rule4 % int1))
The tiger is not round.
("tiger" "is" "round" "-")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The tiger is round.
False
4
inv-proof
[(((((triple1 triple3) -> rule1)) -> rule4))]
("tiger" "is" "round" "+")
((((triple1 triple3) -> (rule1 % int2))) -> (rule4 % int1))
The tiger is not round.
("tiger" "is" "round" "-")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
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 nice.[(triple2 OR ((triple3) -> rule3))] The tiger is young.[(triple3)] @1: The tiger is red.[(((triple1 triple3) -> rule1))] @2: The tiger is not round.[(((((triple1 triple3) -> rule1)) -> rule4))]
The tiger is cold.
("tiger" "is" "cold" "+")
triple1
The tiger is nice.
("tiger" "is" "nice" "+")
triple2
((triple3) -> (rule3 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
triple3
The tiger is red.
("tiger" "is" "red" "+")
((triple1 triple3) -> (rule1 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger is not round.
("tiger" "is" "round" "-")
((((triple1 triple3) -> (rule1 % int2))) -> (rule4 % int1))
The tiger is not round.
("tiger" "is" "round" "-")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2