Charlie is rough. Erin is nice. Erin is red. Fiona is cold. Fiona is red. Harry is furry. Harry is nice. All furry people are nice. Nice, red people are rough. All nice people are rough. If someone is red and round then they are furry. All big, rough people are round. All red, rough people are big. All cold, furry people are rough. If someone is cold and round then they are red. All furry people are cold.
Erin is not round.
@0: Charlie is rough.[(triple1)] Erin is nice.[(triple2)] Erin is red.[(triple3)] Fiona is cold.[(triple4)] Fiona is red.[(triple5)] Harry is furry.[(triple6)] Harry is nice.[(triple7 OR ((triple6) -> rule1))] @1: Erin is rough.[(((triple2) -> rule3) OR ((triple2 triple3) -> rule2))] Harry is cold.[(((triple6) -> rule9))] Harry is rough.[(((triple7) -> rule3) OR ((((triple6) -> rule1)) -> rule3) OR ((((triple6) -> rule9) triple6) -> rule7))] @2: Erin is big.[(((triple3 ((triple2) -> rule3)) -> rule6) OR ((triple3 ((triple2 triple3) -> rule2)) -> rule6))] @3: Erin is round.[(((((triple3 ((triple2) -> rule3)) -> rule6) ((triple2) -> rule3)) -> rule5) OR ((((triple3 ((triple2) -> rule3)) -> rule6) ((triple2 triple3) -> rule2)) -> rule5) OR ((((triple3 ((triple2 triple3) -> rule2)) -> rule6) ((triple2) -> rule3)) -> rule5) OR ((((triple3 ((triple2 triple3) -> rule2)) -> rule6) ((triple2 triple3) -> rule2)) -> rule5))] @4: Erin is furry.[(((triple3 ((((triple3 ((triple2) -> rule3)) -> rule6) ((triple2) -> rule3)) -> rule5)) -> rule4) OR ((triple3 ((((triple3 ((triple2) -> rule3)) -> rule6) ((triple2 triple3) -> rule2)) -> rule5)) -> rule4) OR ((triple3 ((((triple3 ((triple2 triple3) -> rule2)) -> rule6) ((triple2) -> rule3)) -> rule5)) -> rule4) OR ((triple3 ((((triple3 ((triple2 triple3) -> rule2)) -> rule6) ((triple2 triple3) -> rule2)) -> rule5)) -> rule4))] @5: Erin is cold.[(((((triple3 ((((triple3 ((triple2) -> rule3)) -> rule6) ((triple2) -> rule3)) -> rule5)) -> rule4)) -> rule9) OR ((((triple3 ((((triple3 ((triple2) -> rule3)) -> rule6) ((triple2 triple3) -> rule2)) -> rule5)) -> rule4)) -> rule9) OR ((((triple3 ((((triple3 ((triple2 triple3) -> rule2)) -> rule6) ((triple2) -> rule3)) -> rule5)) -> rule4)) -> rule9) OR ((((triple3 ((((triple3 ((triple2 triple3) -> rule2)) -> rule6) ((triple2 triple3) -> rule2)) -> rule5)) -> rule4)) -> rule9))]