Dave is cold. Dave is green. Dave is quiet. Dave is rough. Dave is round. Dave is smart. Dave is young. Fiona is cold. Fiona is green. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is smart. Fiona is young. Rough things are green. If something is rough then it is quiet. All green, cold things are quiet. If Fiona is smart then Fiona is round. If something is smart and rough then it is quiet. All green things are quiet.
Fiona is not cold.
@0: Dave is cold.[(triple1)] Dave is green.[(triple2 OR ((triple4) -> rule1))] Dave is quiet.[(triple3 OR ((triple2) -> rule6) OR ((triple4) -> rule2) OR ((triple2 triple1) -> rule3) OR ((triple6 triple4) -> rule5) OR ((((triple4) -> rule1)) -> rule6) OR ((((triple4) -> rule1) triple1) -> rule3))] Dave is rough.[(triple4)] Dave is round.[(triple5)] Dave is smart.[(triple6)] Dave is young.[(triple7)] Fiona is cold.[(triple8)] Fiona is green.[(triple9 OR ((triple11) -> rule1))] Fiona is quiet.[(triple10 OR ((triple11) -> rule2) OR ((triple9) -> rule6) OR ((triple13 triple11) -> rule5) OR ((triple9 triple8) -> rule3) OR ((((triple11) -> rule1)) -> rule6) OR ((((triple11) -> rule1) triple8) -> rule3))] Fiona is rough.[(triple11)] Fiona is round.[(triple12 OR ((triple13) -> rule4))] Fiona is smart.[(triple13)] Fiona is young.[(triple14)]