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