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