Dave is cold. Dave is furry. Dave is kind. Dave is nice. Dave is round. Erin is cold. Erin is furry. Erin is kind. Erin is quiet. Erin is rough. Quiet, nice things are cold. If something is furry and round then it is rough. Kind things are cold. All rough, nice things are kind. All nice things are cold. Furry things are kind.
Erin is nice.
@0: Dave is cold.[(triple1 OR ((triple3) -> rule3) OR ((triple4) -> rule5) OR ((((triple2) -> rule6)) -> rule3) OR ((((((triple2 triple5) -> rule2) triple4) -> rule4)) -> rule3))] Dave is furry.[(triple2)] Dave is kind.[(triple3 OR ((triple2) -> rule6) OR ((((triple2 triple5) -> rule2) triple4) -> rule4))] Dave is nice.[(triple4)] Dave is round.[(triple5)] Erin is cold.[(triple6 OR ((triple8) -> rule3) OR ((((triple7) -> rule6)) -> rule3))] Erin is furry.[(triple7)] Erin is kind.[(triple8 OR ((triple7) -> rule6))] Erin is quiet.[(triple9)] Erin is rough.[(triple10)] @1: Dave is rough.[(((triple2 triple5) -> rule2))]