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