Bob is big. Bob is cold. Bob is green. Bob is kind. Bob is rough. Bob is round. Bob is young. Dave is big. Dave is cold. Dave is green. Dave is kind. Dave is rough. Dave is round. Dave is young. If something is kind then it is round. All young things are kind. Round things are green.
Dave is green.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is green.[(triple3 OR ((triple6) -> rule3) OR ((((triple4) -> rule1)) -> rule3) OR ((((((triple7) -> rule2)) -> rule1)) -> rule3))] Bob is kind.[(triple4 OR ((triple7) -> rule2))] Bob is rough.[(triple5)] Bob is round.[(triple6 OR ((triple4) -> rule1) OR ((((triple7) -> rule2)) -> rule1))] Bob is young.[(triple7)] Dave is big.[(triple8)] Dave is cold.[(triple9)] Dave is green.[(triple10 OR ((triple13) -> rule3) OR ((((triple11) -> rule1)) -> rule3) OR ((((((triple14) -> rule2)) -> rule1)) -> rule3))] Dave is kind.[(triple11 OR ((triple14) -> rule2))] Dave is rough.[(triple12)] Dave is round.[(triple13 OR ((triple11) -> rule1) OR ((((triple14) -> rule2)) -> rule1))] Dave is young.[(triple14)]