The tiger is not big. The tiger is nice. The tiger is rough. If something is blue then it is nice. Rough, blue things are nice. Blue, nice things are rough. If something is big and not rough then it is red. Big things are red. If something is rough and not big then it is red.
The tiger is not big.
("tiger" "is" "big" "-")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
If something is blue then it is nice.
((("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
Rough, blue things are nice.
((("something" "is" "rough" "+") ("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
Blue, nice things are rough.
((("something" "is" "blue" "+") ("something" "is" "nice" "+")) -> ("something" "is" "rough" "+"))
If something is big and not rough then it is red.
((("something" "is" "big" "+") ("something" "is" "rough" "~")) -> ("something" "is" "red" "+"))
Big things are red.
((("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
If something is rough and not big then it is red.
((("something" "is" "rough" "+") ("something" "is" "big" "~")) -> ("something" "is" "red" "+"))
The tiger is not big.
True
1
proof
[(triple1)]
("tiger" "is" "big" "-")
triple1
The tiger is big.
False
1
inv-proof
[(triple1)]
("tiger" "is" "big" "+")
triple1
The tiger is red.
True
3
proof
[(((triple3 triple1) -> rule6))]
("tiger" "is" "red" "+")
((triple3 triple1) -> (rule6 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger is not red.
False
3
inv-proof
[(((triple3 triple1) -> rule6))]
("tiger" "is" "red" "-")
((triple3 triple1) -> (rule6 % int1))
The tiger is red.
("tiger" "is" "red" "+")
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 needs the tiger.
Unknown
random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "+")
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 is blue.
Unknown
random
[@0: The tiger is blue.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "blue" "+")
@0: The tiger is nice.[(triple2)] The tiger is not big.[(triple1)] The tiger is rough.[(triple3)] @1: The tiger is red.[(((triple3 triple1) -> rule6))]
The tiger is nice.
("tiger" "is" "nice" "+")
triple2
The tiger is not big.
("tiger" "is" "big" "-")
triple1
The tiger is rough.
("tiger" "is" "rough" "+")
triple3
The tiger is red.
("tiger" "is" "red" "+")
((triple3 triple1) -> (rule6 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1