The tiger is green. The tiger is kind. The tiger is rough. If the tiger is rough then the tiger is green. If something is kind then it is not round. Green things are not nice.
The tiger is green.
("tiger" "is" "green" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
If the tiger is rough then the tiger is green.
((("tiger" "is" "rough" "+")) -> ("tiger" "is" "green" "+"))
If something is kind then it is not round.
((("something" "is" "kind" "+")) -> ("something" "is" "round" "-"))
Green things are not nice.
((("something" "is" "green" "+")) -> ("something" "is" "nice" "-"))
The tiger is rough.
True
1
proof
[(triple3)]
("tiger" "is" "rough" "+")
triple3
The tiger is not green.
False
1
inv-proof
[(triple1 OR ((triple3) -> rule1))]
("tiger" "is" "green" "-")
triple1
((triple3) -> (rule1 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
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 eats the tiger.
Unknown
random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "+")
@0: The tiger is green.[(triple1 OR ((triple3) -> rule1))] The tiger is kind.[(triple2)] The tiger is rough.[(triple3)] @1: The tiger is not nice.[(((triple1) -> rule3) OR ((((triple3) -> rule1)) -> rule3))] The tiger is not round.[(((triple2) -> rule2))]
The tiger is green.
("tiger" "is" "green" "+")
triple1
((triple3) -> (rule1 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
triple2
The tiger is rough.
("tiger" "is" "rough" "+")
triple3
The tiger is not nice.
("tiger" "is" "nice" "-")
((triple1) -> (rule3 % int1))
The tiger is not nice.
("tiger" "is" "nice" "-")
int1
((((triple3) -> (rule1 % int2))) -> (rule3 % int1))
The tiger is not nice.
("tiger" "is" "nice" "-")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The tiger is not round.
("tiger" "is" "round" "-")
((triple2) -> (rule2 % int1))
The tiger is not round.
("tiger" "is" "round" "-")
int1