The tiger is blue. The tiger is kind. The tiger is young. If someone is green then they are blue. All kind people are young. If someone is blue and kind then they are green.
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is young.
("tiger" "is" "young" "+")
If someone is green then they are blue.
((("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
All kind people are young.
((("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and kind then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
The tiger is blue.
True
1
proof
[(triple1)]
("tiger" "is" "blue" "+")
triple1
The tiger is not blue.
False
1
inv-proof
[(triple1)]
("tiger" "is" "blue" "-")
triple1
The tiger is green.
True
3
proof
[(((triple1 triple2) -> rule3))]
("tiger" "is" "green" "+")
((triple1 triple2) -> (rule3 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger is not green.
False
3
inv-proof
[(((triple1 triple2) -> rule3))]
("tiger" "is" "green" "-")
((triple1 triple2) -> (rule3 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger is not nice.
Unknown
inv-random
[@0: The tiger is nice.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "nice" "-")
The tiger visits the tiger.
Unknown
random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "+")
The tiger does not like the tiger.
Unknown
inv-random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "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 blue.[(triple1)] The tiger is kind.[(triple2)] The tiger is young.[(triple3 OR ((triple2) -> rule2))] @1: The tiger is green.[(((triple1 triple2) -> rule3))]
The tiger is blue.
("tiger" "is" "blue" "+")
triple1
The tiger is kind.
("tiger" "is" "kind" "+")
triple2
The tiger is young.
("tiger" "is" "young" "+")
triple3
((triple2) -> (rule2 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
((triple1 triple2) -> (rule3 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1