Anne is big. Anne is blue. Anne is cold. Anne is rough. Anne is smart. Anne is white. Dave is big. Dave is cold. Dave is round. Dave is smart. Fiona is big. Fiona is cold. Fiona is round. Fiona is smart. Fiona is white. Round things are white. All rough things are big. If something is smart then it is rough. Round things are smart. All big things are smart. All smart, blue things are cold.
Dave is round.
@0: Anne is big.[(triple1 OR ((triple4) -> rule2) OR ((((triple5) -> rule3)) -> rule2))] Anne is blue.[(triple2)] Anne is cold.[(triple3 OR ((triple5 triple2) -> rule6) OR ((((triple1) -> rule5) triple2) -> rule6) OR ((((((triple4) -> rule2)) -> rule5) triple2) -> rule6))] Anne is rough.[(triple4 OR ((triple5) -> rule3) OR ((((triple1) -> rule5)) -> rule3))] Anne is smart.[(triple5 OR ((triple1) -> rule5) OR ((((triple4) -> rule2)) -> rule5))] Anne is white.[(triple6)] Dave is big.[(triple7 OR ((((triple10) -> rule3)) -> rule2) OR ((((((triple9) -> rule4)) -> rule3)) -> rule2))] Dave is cold.[(triple8)] Dave is round.[(triple9)] Dave is smart.[(triple10 OR ((triple7) -> rule5) OR ((triple9) -> rule4))] Fiona is big.[(triple11 OR ((((triple14) -> rule3)) -> rule2) OR ((((((triple13) -> rule4)) -> rule3)) -> rule2))] Fiona is cold.[(triple12)] Fiona is round.[(triple13)] Fiona is smart.[(triple14 OR ((triple11) -> rule5) OR ((triple13) -> rule4))] Fiona is white.[(triple15 OR ((triple13) -> rule1))] @1: Dave is rough.[(((triple10) -> rule3) OR ((((triple7) -> rule5)) -> rule3) OR ((((triple9) -> rule4)) -> rule3))] Dave is white.[(((triple9) -> rule1))] Fiona is rough.[(((triple14) -> rule3) OR ((((triple11) -> rule5)) -> rule3) OR ((((triple13) -> rule4)) -> rule3))]