The tiger is big. The tiger is green. The tiger is red. The tiger is rough. The tiger is round. If something is red then it is rough. If something is big and green then it is red.
The tiger is big.
("tiger" "is" "big" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is round.
("tiger" "is" "round" "+")
If something is red then it is rough.
((("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
If something is big and green then it is red.
((("something" "is" "big" "+") ("something" "is" "green" "+")) -> ("something" "is" "red" "+"))
The tiger is red.
True
1
proof
[(triple3 OR ((triple1 triple2) -> rule2))]
("tiger" "is" "red" "+")
triple3
((triple1 triple2) -> (rule2 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger is not big.
False
1
inv-proof
[(triple1)]
("tiger" "is" "big" "-")
triple1
The tiger does not visit the tiger.
Unknown
inv-random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "-")
The tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
@0: The tiger is big.[(triple1)] The tiger is green.[(triple2)] The tiger is red.[(triple3 OR ((triple1 triple2) -> rule2))] The tiger is rough.[(triple4 OR ((triple3) -> rule1) OR ((((triple1 triple2) -> rule2)) -> rule1))] The tiger is round.[(triple5)]
The tiger is big.
("tiger" "is" "big" "+")
triple1
The tiger is green.
("tiger" "is" "green" "+")
triple2
The tiger is red.
("tiger" "is" "red" "+")
triple3
((triple1 triple2) -> (rule2 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
triple4
((triple3) -> (rule1 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
((((triple1 triple2) -> (rule2 % int2))) -> (rule1 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The tiger is round.
("tiger" "is" "round" "+")
triple5