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