The tiger is big. The tiger is not nice. The tiger is rough. Rough things are big. If something is rough and not big then it is nice. If something is young then it is nice. Young, nice things are not kind. Rough things are kind. All kind, big things are not young.
The tiger is big.
("tiger" "is" "big" "+")
The tiger is not nice.
("tiger" "is" "nice" "-")
The tiger is rough.
("tiger" "is" "rough" "+")
Rough things are big.
((("something" "is" "rough" "+")) -> ("something" "is" "big" "+"))
If something is rough and not big then it is nice.
((("something" "is" "rough" "+") ("something" "is" "big" "~")) -> ("something" "is" "nice" "+"))
If something is young then it is nice.
((("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
Young, nice things are not kind.
((("something" "is" "young" "+") ("something" "is" "nice" "+")) -> ("something" "is" "kind" "-"))
Rough things are kind.
((("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
All kind, big things are not young.
((("something" "is" "kind" "+") ("something" "is" "big" "+")) -> ("something" "is" "young" "-"))
The tiger is not nice.
True
1
proof
[(triple2)]
("tiger" "is" "nice" "-")
triple2
The tiger is not rough.
False
1
inv-proof
[(triple3)]
("tiger" "is" "rough" "-")
triple3
The tiger is kind.
True
2
proof
[(((triple3) -> rule5))]
("tiger" "is" "kind" "+")
((triple3) -> (rule5 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger is not kind.
False
2
inv-proof
[(((triple3) -> rule5))]
("tiger" "is" "kind" "-")
((triple3) -> (rule5 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger is not young.
True
4
proof
[(((((triple3) -> rule5) triple1) -> rule6) OR ((((triple3) -> rule5) ((triple3) -> rule1)) -> rule6))]
("tiger" "is" "young" "-")
((((triple3) -> (rule5 % int2)) triple1) -> (rule6 % int1))
The tiger is not young.
("tiger" "is" "young" "-")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
((((triple3) -> (rule5 % int3)) ((triple3) -> (rule1 % int2))) -> (rule6 % int1))
The tiger is not young.
("tiger" "is" "young" "-")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The tiger is young.
False
4
inv-proof
[(((((triple3) -> rule5) triple1) -> rule6) OR ((((triple3) -> rule5) ((triple3) -> rule1)) -> rule6))]
("tiger" "is" "young" "+")
((((triple3) -> (rule5 % int2)) triple1) -> (rule6 % int1))
The tiger is not young.
("tiger" "is" "young" "-")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
((((triple3) -> (rule5 % int3)) ((triple3) -> (rule1 % int2))) -> (rule6 % int1))
The tiger is not young.
("tiger" "is" "young" "-")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The tiger does not need the tiger.
Unknown
inv-random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "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 big.[(triple1 OR ((triple3) -> rule1))] The tiger is not nice.[(triple2)] The tiger is rough.[(triple3)] @1: The tiger is kind.[(((triple3) -> rule5))] @2: The tiger is not young.[(((((triple3) -> rule5) triple1) -> rule6) OR ((((triple3) -> rule5) ((triple3) -> rule1)) -> rule6))]
The tiger is big.
("tiger" "is" "big" "+")
triple1
((triple3) -> (rule1 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger is not nice.
("tiger" "is" "nice" "-")
triple2
The tiger is rough.
("tiger" "is" "rough" "+")
triple3
The tiger is kind.
("tiger" "is" "kind" "+")
((triple3) -> (rule5 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger is not young.
("tiger" "is" "young" "-")
((((triple3) -> (rule5 % int2)) triple1) -> (rule6 % int1))
The tiger is not young.
("tiger" "is" "young" "-")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
((((triple3) -> (rule5 % int3)) ((triple3) -> (rule1 % int2))) -> (rule6 % int1))
The tiger is not young.
("tiger" "is" "young" "-")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3