The tiger is red. The tiger is rough. The tiger is young. If something is rough then it is red. Blue, red things are round. Young things are blue. If something is rough and blue then it is young. All round things are young. Blue, red things are rough.
The tiger is red.
("tiger" "is" "red" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is young.
("tiger" "is" "young" "+")
If something is rough then it is red.
((("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
Blue, red things are round.
((("something" "is" "blue" "+") ("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
Young things are blue.
((("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
If something is rough and blue then it is young.
((("something" "is" "rough" "+") ("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
All round things are young.
((("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
Blue, red things are rough.
((("something" "is" "blue" "+") ("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
The tiger is young.
True
1
proof
[(triple3)]
("tiger" "is" "young" "+")
triple3
The tiger is not young.
False
1
inv-proof
[(triple3)]
("tiger" "is" "young" "-")
triple3
The tiger is blue.
True
2
proof
[(((triple3) -> rule3))]
("tiger" "is" "blue" "+")
((triple3) -> (rule3 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger is not blue.
False
2
inv-proof
[(((triple3) -> rule3))]
("tiger" "is" "blue" "-")
((triple3) -> (rule3 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger is round.
True
4
proof
[(((((triple3) -> rule3) triple1) -> rule2) OR ((((triple3) -> rule3) ((triple2) -> rule1)) -> rule2))]
("tiger" "is" "round" "+")
((((triple3) -> (rule3 % int2)) triple1) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
((((triple3) -> (rule3 % int3)) ((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The tiger is blue.
("tiger" "is" "blue" "+")
int3
The tiger is not round.
False
4
inv-proof
[(((((triple3) -> rule3) triple1) -> rule2) OR ((((triple3) -> rule3) ((triple2) -> rule1)) -> rule2))]
("tiger" "is" "round" "-")
((((triple3) -> (rule3 % int2)) triple1) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
((((triple3) -> (rule3 % int3)) ((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The tiger is blue.
("tiger" "is" "blue" "+")
int3
The tiger does not visit the tiger.
Unknown
inv-random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "-")
The tiger sees the tiger.
Unknown
random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "+")
@0: The tiger is red.[(triple1 OR ((triple2) -> rule1))] The tiger is rough.[(triple2 OR ((((triple3) -> rule3) triple1) -> rule6))] The tiger is young.[(triple3)] @1: The tiger is blue.[(((triple3) -> rule3))] @2: The tiger is round.[(((((triple3) -> rule3) triple1) -> rule2) OR ((((triple3) -> rule3) ((triple2) -> rule1)) -> rule2))]
The tiger is red.
("tiger" "is" "red" "+")
triple1
((triple2) -> (rule1 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
triple2
((((triple3) -> (rule3 % int2)) triple1) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
triple3
The tiger is blue.
("tiger" "is" "blue" "+")
((triple3) -> (rule3 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
((((triple3) -> (rule3 % int2)) triple1) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
((((triple3) -> (rule3 % int3)) ((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The tiger is blue.
("tiger" "is" "blue" "+")
int3