Charlie is big. Charlie is kind. Charlie is smart. Erin is big. Erin is cold. Erin is furry. Erin is rough. Fiona is cold. Fiona is green. Fiona is kind. Furry, green people are cold. If someone is kind and big then they are rough. If someone is smart and cold then they are big. All cold people are rough. All smart, furry people are rough. All green, rough people are cold. If someone is green then they are big. If someone is kind and cold then they are rough.
Charlie is not smart.
@0: Charlie is big.[(triple1)] Charlie is kind.[(triple2)] Charlie is smart.[(triple3)] Erin is big.[(triple4)] Erin is cold.[(triple5)] Erin is furry.[(triple6)] Erin is rough.[(triple7 OR ((triple5) -> rule4))] Fiona is cold.[(triple8 OR ((triple9 ((triple10 ((triple9) -> rule7)) -> rule2)) -> rule6))] Fiona is green.[(triple9)] Fiona is kind.[(triple10)] @1: Charlie is rough.[(((triple2 triple1) -> rule2))] Fiona is big.[(((triple9) -> rule7))] Fiona is rough.[(((triple8) -> rule4) OR ((triple10 triple8) -> rule8) OR ((triple10 ((triple9) -> rule7)) -> rule2))]