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