The tiger is big. The tiger is green. The tiger is kind. The tiger is nice. The tiger is red. All green people are kind.
The tiger is big.
("tiger" "is" "big" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is red.
("tiger" "is" "red" "+")
All green people are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
The tiger is nice.
True
1
proof
[(triple4)]
("tiger" "is" "nice" "+")
triple4
The tiger is not red.
False
1
inv-proof
[(triple5)]
("tiger" "is" "red" "-")
triple5
The tiger does not see the tiger.
Unknown
inv-random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "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 big.[(triple1)] The tiger is green.[(triple2)] The tiger is kind.[(triple3 OR ((triple2) -> rule1))] The tiger is nice.[(triple4)] The tiger is red.[(triple5)]
The tiger is big.
("tiger" "is" "big" "+")
triple1
The tiger is green.
("tiger" "is" "green" "+")
triple2
The tiger is kind.
("tiger" "is" "kind" "+")
triple3
((triple2) -> (rule1 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
triple4
The tiger is red.
("tiger" "is" "red" "+")
triple5