The tiger is big. The tiger is blue. The tiger is green. The tiger is kind. The tiger is round. All kind, round 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 kind.
("tiger" "is" "kind" "+")
The tiger is round.
("tiger" "is" "round" "+")
All kind, round things are big.
((("something" "is" "kind" "+") ("something" "is" "round" "+")) -> ("something" "is" "big" "+"))
The tiger is round.
True
1
proof
[(triple5)]
("tiger" "is" "round" "+")
triple5
The tiger is not kind.
False
1
inv-proof
[(triple4)]
("tiger" "is" "kind" "-")
triple4
The tiger does not need the tiger.
Unknown
inv-random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "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 big.[(triple1 OR ((triple4 triple5) -> rule1))] The tiger is blue.[(triple2)] The tiger is green.[(triple3)] The tiger is kind.[(triple4)] The tiger is round.[(triple5)]
The tiger is big.
("tiger" "is" "big" "+")
triple1
((triple4 triple5) -> (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 kind.
("tiger" "is" "kind" "+")
triple4
The tiger is round.
("tiger" "is" "round" "+")
triple5