The tiger is young. If the tiger is rough then the tiger is big. If someone is young then they are big. All green, big people are round. All big people are round. All rough people are green. All big people are rough. Young, big people are green. If someone is round and rough then they are young.
The tiger is young.
("tiger" "is" "young" "+")
If the tiger is rough then the tiger is big.
((("tiger" "is" "rough" "+")) -> ("tiger" "is" "big" "+"))
If someone is young then they are big.
((("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
All green, big people are round.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
All big people are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
All rough people are green.
((("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
All big people are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Young, big people are green.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is round and rough then they are young.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
The tiger is young.
True
1
proof
[(triple1)]
("tiger" "is" "young" "+")
triple1
The tiger is not young.
False
1
inv-proof
[(triple1)]
("tiger" "is" "young" "-")
triple1
The tiger is big.
True
2
proof
[(((triple1) -> rule2))]
("tiger" "is" "big" "+")
((triple1) -> (rule2 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger is not big.
False
2
inv-proof
[(((triple1) -> rule2))]
("tiger" "is" "big" "-")
((triple1) -> (rule2 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
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 needs the tiger.
Unknown
random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "+")
@0: The tiger is young.[(triple1)] @1: The tiger is big.[(((triple1) -> rule2))] @2: The tiger is green.[(((triple1 ((triple1) -> rule2)) -> rule7) OR ((((((triple1) -> rule2)) -> rule6)) -> rule5))] The tiger is rough.[(((((triple1) -> rule2)) -> rule6))] The tiger is round.[(((((triple1) -> rule2)) -> rule4) OR ((((triple1 ((triple1) -> rule2)) -> rule7) ((triple1) -> rule2)) -> rule3) OR ((((((((triple1) -> rule2)) -> rule6)) -> rule5) ((triple1) -> rule2)) -> rule3))]
The tiger is young.
("tiger" "is" "young" "+")
triple1
The tiger is big.
("tiger" "is" "big" "+")
((triple1) -> (rule2 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule7 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
((((((triple1) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The tiger is rough.
("tiger" "is" "rough" "+")
((((triple1) -> (rule2 % int2))) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger is round.
("tiger" "is" "round" "+")
((((triple1) -> (rule2 % int2))) -> (rule4 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
((((triple1 ((triple1) -> (rule2 % int3))) -> (rule7 % int2)) ((triple1) -> (rule2 % int3))) -> (rule3 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
((((((((triple1) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule5 % int2)) ((triple1) -> (rule2 % int4))) -> (rule3 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The tiger is rough.
("tiger" "is" "rough" "+")
int3
The tiger is big.
("tiger" "is" "big" "+")
int4