The tiger is kind. The tiger is nice. The tiger is rough. The tiger is round. The tiger is young. All round people are young. If someone is kind then they are round.
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger is young.
("tiger" "is" "young" "+")
All round people are young.
((("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is kind then they are round.
((("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
The tiger is nice.
True
1
proof
[(triple2)]
("tiger" "is" "nice" "+")
triple2
The tiger is not kind.
False
1
inv-proof
[(triple1)]
("tiger" "is" "kind" "-")
triple1
The tiger does not eat the tiger.
Unknown
inv-random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "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 kind.[(triple1)] The tiger is nice.[(triple2)] The tiger is rough.[(triple3)] The tiger is round.[(triple4 OR ((triple1) -> rule2))] The tiger is young.[(triple5 OR ((triple4) -> rule1) OR ((((triple1) -> rule2)) -> rule1))]
The tiger is kind.
("tiger" "is" "kind" "+")
triple1
The tiger is nice.
("tiger" "is" "nice" "+")
triple2
The tiger is rough.
("tiger" "is" "rough" "+")
triple3
The tiger is round.
("tiger" "is" "round" "+")
triple4
((triple1) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
triple5
((triple4) -> (rule1 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
int2