The tiger is blue. The tiger is kind. The tiger is nice. The tiger is round. The tiger is young. If something is round then it is nice.
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger is young.
("tiger" "is" "young" "+")
If something is round then it is nice.
((("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
The tiger is round.
True
1
proof
[(triple4)]
("tiger" "is" "round" "+")
triple4
The tiger is not blue.
False
1
inv-proof
[(triple1)]
("tiger" "is" "blue" "-")
triple1
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 likes the tiger.
Unknown
random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "+")
@0: The tiger is blue.[(triple1)] The tiger is kind.[(triple2)] The tiger is nice.[(triple3 OR ((triple4) -> rule1))] The tiger is round.[(triple4)] The tiger is young.[(triple5)]
The tiger is blue.
("tiger" "is" "blue" "+")
triple1
The tiger is kind.
("tiger" "is" "kind" "+")
triple2
The tiger is nice.
("tiger" "is" "nice" "+")
triple3
((triple4) -> (rule1 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
triple4
The tiger is young.
("tiger" "is" "young" "+")
triple5