Charlie is big. Charlie is blue. Charlie is cold. Charlie is green. Charlie is rough. Charlie is smart. Charlie is young. Dave is big. Dave is blue. Dave is cold. Dave is green. Dave is rough. Dave is smart. Dave is young. Big things are cold. All young things are big. If Dave is cold then Dave is rough. Blue, green things are smart. If Dave is rough then Dave is young. If Dave is blue then Dave is green.
Dave is young.
@0: Charlie is big.[(triple1 OR ((triple7) -> rule2))] Charlie is blue.[(triple2)] Charlie is cold.[(triple3 OR ((triple1) -> rule1) OR ((((triple7) -> rule2)) -> rule1))] Charlie is green.[(triple4)] Charlie is rough.[(triple5)] Charlie is smart.[(triple6 OR ((triple2 triple4) -> rule4))] Charlie is young.[(triple7)] Dave is big.[(triple8 OR ((triple14) -> rule2) OR ((((triple12) -> rule5)) -> rule2) OR ((((((triple10) -> rule3)) -> rule5)) -> rule2))] Dave is blue.[(triple9)] Dave is cold.[(triple10 OR ((triple8) -> rule1) OR ((((triple14) -> rule2)) -> rule1) OR ((((((triple12) -> rule5)) -> rule2)) -> rule1))] Dave is green.[(triple11 OR ((triple9) -> rule6))] Dave is rough.[(triple12 OR ((triple10) -> rule3) OR ((((triple8) -> rule1)) -> rule3) OR ((((((triple14) -> rule2)) -> rule1)) -> rule3))] Dave is smart.[(triple13 OR ((triple9 triple11) -> rule4) OR ((triple9 ((triple9) -> rule6)) -> rule4))] Dave is young.[(triple14 OR ((triple12) -> rule5) OR ((((triple10) -> rule3)) -> rule5) OR ((((((triple8) -> rule1)) -> rule3)) -> rule5))]