The tiger is not blue. The tiger is green. The tiger is kind. If something is green and blue then it is nice. If something is kind and blue then it is nice. If something is green then it is nice. All blue, green things are not kind. All blue things are not green. Cold things are green. If something is nice and kind then it is cold. If something is blue and kind then it is cold.
The tiger is not blue.
("tiger" "is" "blue" "-")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
If something is green and blue then it is nice.
((("something" "is" "green" "+") ("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
If something is kind and blue then it is nice.
((("something" "is" "kind" "+") ("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
If something is green then it is nice.
((("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
All blue, green things are not kind.
((("something" "is" "blue" "+") ("something" "is" "green" "+")) -> ("something" "is" "kind" "-"))
All blue things are not green.
((("something" "is" "blue" "+")) -> ("something" "is" "green" "-"))
Cold things are green.
((("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
If something is nice and kind then it is cold.
((("something" "is" "nice" "+") ("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
If something is blue and kind then it is cold.
((("something" "is" "blue" "+") ("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
The tiger is kind.
True
1
proof
[(triple3)]
("tiger" "is" "kind" "+")
triple3
The tiger is not kind.
False
1
inv-proof
[(triple3)]
("tiger" "is" "kind" "-")
triple3
The tiger is nice.
True
2
proof
[(((triple2) -> rule3))]
("tiger" "is" "nice" "+")
((triple2) -> (rule3 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger is not nice.
False
2
inv-proof
[(((triple2) -> rule3))]
("tiger" "is" "nice" "-")
((triple2) -> (rule3 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger is cold.
True
4
proof
[(((((triple2) -> rule3) triple3) -> rule7))]
("tiger" "is" "cold" "+")
((((triple2) -> (rule3 % int2)) triple3) -> (rule7 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is not cold.
False
4
inv-proof
[(((((triple2) -> rule3) triple3) -> rule7))]
("tiger" "is" "cold" "-")
((((triple2) -> (rule3 % int2)) triple3) -> (rule7 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
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 likes the tiger.
Unknown
random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "+")
@0: The tiger is green.[(triple2)] The tiger is kind.[(triple3)] The tiger is not blue.[(triple1)] @1: The tiger is nice.[(((triple2) -> rule3))] @2: The tiger is cold.[(((((triple2) -> rule3) triple3) -> rule7))]
The tiger is green.
("tiger" "is" "green" "+")
triple2
The tiger is kind.
("tiger" "is" "kind" "+")
triple3
The tiger is not blue.
("tiger" "is" "blue" "-")
triple1
The tiger is nice.
("tiger" "is" "nice" "+")
((triple2) -> (rule3 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
((((triple2) -> (rule3 % int2)) triple3) -> (rule7 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2