Dave is big. Dave is not cold. Dave is green. Dave is kind. Dave is not rough. Dave is smart. Erin is big. Erin is not cold. Erin is not furry. Erin is rough. Erin is smart. Fiona is big. Fiona is furry. Fiona is kind. Gary is cold. Gary is not rough. All cold people are not green. If someone is kind then they are furry. All kind people are furry. If someone is cold and big then they are furry. All kind people are smart. Green people are smart. Big people are not cold. If Fiona is furry then Fiona is kind.
Erin is kind.
@0: Dave is big.[(triple1)] Dave is green.[(triple3)] Dave is kind.[(triple4)] Dave is not cold.[(triple2 OR ((triple1) -> rule7))] Dave is not rough.[(triple5)] Dave is smart.[(triple6 OR ((triple3) -> rule6) OR ((triple4) -> rule5))] Erin is big.[(triple7)] Erin is not cold.[(triple8 OR ((triple7) -> rule7))] Erin is not furry.[(triple9)] Erin is rough.[(triple10)] Erin is smart.[(triple11)] Fiona is big.[(triple12)] Fiona is furry.[(triple13 OR ((triple14) -> rule2) OR ((triple14) -> rule3))] Fiona is kind.[(triple14 OR ((triple13) -> rule8))] Gary is cold.[(triple15)] Gary is not rough.[(triple16)] @1: Dave is furry.[(((triple4) -> rule2) OR ((triple4) -> rule3))] Fiona is not cold.[(((triple12) -> rule7))] Fiona is smart.[(((triple14) -> rule5) OR ((((triple13) -> rule8)) -> rule5))] Gary is not green.[(((triple15) -> rule1))]