The tiger is green. The tiger is nice. The tiger is rough. The tiger is round. The tiger is young. Nice people are rough. Green, rough people are young.
The tiger is green.
("tiger" "is" "green" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger is young.
("tiger" "is" "young" "+")
Nice people are rough.
((("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Green, rough people are young.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
The tiger is nice.
True
1
proof
[(triple2)]
("tiger" "is" "nice" "+")
triple2
The tiger is not green.
False
1
inv-proof
[(triple1)]
("tiger" "is" "green" "-")
triple1
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 sees the tiger.
Unknown
random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "+")
@0: The tiger is green.[(triple1)] The tiger is nice.[(triple2)] The tiger is rough.[(triple3 OR ((triple2) -> rule1))] The tiger is round.[(triple4)] The tiger is young.[(triple5 OR ((triple1 triple3) -> rule2) OR ((triple1 ((triple2) -> rule1)) -> rule2))]
The tiger is green.
("tiger" "is" "green" "+")
triple1
The tiger is nice.
("tiger" "is" "nice" "+")
triple2
The tiger is rough.
("tiger" "is" "rough" "+")
triple3
((triple2) -> (rule1 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
triple4
The tiger is young.
("tiger" "is" "young" "+")
triple5
((triple1 triple3) -> (rule2 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
((triple1 ((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2