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