The tiger is big. The tiger is nice. The tiger is red. The tiger is rough. The tiger is young. If something is big and nice then it is rough. If something is big and not nice then it is red. If something is young and not nice then it is big.
The tiger is big.
("tiger" "is" "big" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is young.
("tiger" "is" "young" "+")
If something is big and nice then it is rough.
((("something" "is" "big" "+") ("something" "is" "nice" "+")) -> ("something" "is" "rough" "+"))
If something is big and not nice then it is red.
((("something" "is" "big" "+") ("something" "is" "nice" "~")) -> ("something" "is" "red" "+"))
If something is young and not nice then it is big.
((("something" "is" "young" "+") ("something" "is" "nice" "~")) -> ("something" "is" "big" "+"))
The tiger is nice.
True
1
proof
[(triple2)]
("tiger" "is" "nice" "+")
triple2
The tiger is not rough.
False
1
inv-proof
[(triple4 OR ((triple1 triple2) -> rule1))]
("tiger" "is" "rough" "-")
triple4
((triple1 triple2) -> (rule1 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
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 big.[(triple1)] The tiger is nice.[(triple2)] The tiger is red.[(triple3)] The tiger is rough.[(triple4 OR ((triple1 triple2) -> rule1))] The tiger is young.[(triple5)]
The tiger is big.
("tiger" "is" "big" "+")
triple1
The tiger is nice.
("tiger" "is" "nice" "+")
triple2
The tiger is red.
("tiger" "is" "red" "+")
triple3
The tiger is rough.
("tiger" "is" "rough" "+")
triple4
((triple1 triple2) -> (rule1 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
triple5