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