The tiger is blue. The tiger is cold. The tiger is green. The tiger is kind. The tiger is not nice. If someone is kind then they are blue.
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is not nice.
("tiger" "is" "nice" "-")
If someone is kind then they are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
The tiger is blue.
True
1
proof
[(triple1 OR ((triple4) -> rule1))]
("tiger" "is" "blue" "+")
triple1
((triple4) -> (rule1 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger is nice.
False
1
inv-proof
[(triple5)]
("tiger" "is" "nice" "+")
triple5
The tiger does not eat the tiger.
Unknown
inv-random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "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 OR ((triple4) -> rule1))] The tiger is cold.[(triple2)] The tiger is green.[(triple3)] The tiger is kind.[(triple4)] The tiger is not nice.[(triple5)]
The tiger is blue.
("tiger" "is" "blue" "+")
triple1
((triple4) -> (rule1 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
triple2
The tiger is green.
("tiger" "is" "green" "+")
triple3
The tiger is kind.
("tiger" "is" "kind" "+")
triple4
The tiger is not nice.
("tiger" "is" "nice" "-")
triple5