The tiger is not big. The tiger is blue. The tiger is green. The tiger is round. The tiger is young. If the tiger is not blue and the tiger is not young then the tiger is not green. All young, round people are not big.
The tiger is not big.
("tiger" "is" "big" "-")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger is young.
("tiger" "is" "young" "+")
If the tiger is not blue and the tiger is not young then the tiger is not green.
((("tiger" "is" "blue" "~") ("tiger" "is" "young" "~")) -> ("tiger" "is" "green" "-"))
All young, round people are not big.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "-"))
The tiger is blue.
True
1
proof
[(triple2)]
("tiger" "is" "blue" "+")
triple2
The tiger is not blue.
False
1
inv-proof
[(triple2)]
("tiger" "is" "blue" "-")
triple2
The tiger does not chase the tiger.
Unknown
inv-random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "-")
The tiger visits the tiger.
Unknown
random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "+")
@0: The tiger is blue.[(triple2)] The tiger is green.[(triple3)] The tiger is not big.[(triple1 OR ((triple5 triple4) -> rule2))] The tiger is round.[(triple4)] The tiger is young.[(triple5)]
The tiger is blue.
("tiger" "is" "blue" "+")
triple2
The tiger is green.
("tiger" "is" "green" "+")
triple3
The tiger is not big.
("tiger" "is" "big" "-")
triple1
((triple5 triple4) -> (rule2 % int1))
The tiger is not big.
("tiger" "is" "big" "-")
int1
The tiger is round.
("tiger" "is" "round" "+")
triple4
The tiger is young.
("tiger" "is" "young" "+")
triple5