The tiger is big. The tiger is blue. The tiger is green. The tiger is not red. The tiger is not rough. All green, blue things are big.
The tiger is big.
("tiger" "is" "big" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is not red.
("tiger" "is" "red" "-")
The tiger is not rough.
("tiger" "is" "rough" "-")
All green, blue things are big.
((("something" "is" "green" "+") ("something" "is" "blue" "+")) -> ("something" "is" "big" "+"))
The tiger is big.
True
1
proof
[(triple1 OR ((triple3 triple2) -> rule1))]
("tiger" "is" "big" "+")
triple1
((triple3 triple2) -> (rule1 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
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 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 OR ((triple3 triple2) -> rule1))] The tiger is blue.[(triple2)] The tiger is green.[(triple3)] The tiger is not red.[(triple4)] The tiger is not rough.[(triple5)]
The tiger is big.
("tiger" "is" "big" "+")
triple1
((triple3 triple2) -> (rule1 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
triple2
The tiger is green.
("tiger" "is" "green" "+")
triple3
The tiger is not red.
("tiger" "is" "red" "-")
triple4
The tiger is not rough.
("tiger" "is" "rough" "-")
triple5