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