Charlie is cold. Charlie is rough. Erin is not big. Erin is blue. Erin is cold. Erin is furry. Erin is red. Erin is rough. Erin is smart. Fiona is big. Fiona is cold. Harry is blue. Harry is red. Harry is smart. If someone is blue then they are rough. Smart people are furry. All big people are blue. All furry people are red. All rough people are smart.
Erin is blue.
@0: Charlie is cold.[(triple1)] Charlie is rough.[(triple2)] Erin is blue.[(triple4)] Erin is cold.[(triple5)] Erin is furry.[(triple6 OR ((triple9) -> rule2) OR ((((triple8) -> rule5)) -> rule2) OR ((((((triple4) -> rule1)) -> rule5)) -> rule2))] Erin is not big.[(triple3)] Erin is red.[(triple7 OR ((triple6) -> rule4) OR ((((triple9) -> rule2)) -> rule4) OR ((((((triple8) -> rule5)) -> rule2)) -> rule4) OR ((((((((triple4) -> rule1)) -> rule5)) -> rule2)) -> rule4))] Erin is rough.[(triple8 OR ((triple4) -> rule1))] Erin is smart.[(triple9 OR ((triple8) -> rule5) OR ((((triple4) -> rule1)) -> rule5))] Fiona is big.[(triple10)] Fiona is cold.[(triple11)] Harry is blue.[(triple12)] Harry is red.[(triple13 OR ((((triple14) -> rule2)) -> rule4) OR ((((((((triple12) -> rule1)) -> rule5)) -> rule2)) -> rule4))] Harry is smart.[(triple14 OR ((((triple12) -> rule1)) -> rule5))] @1: Charlie is smart.[(((triple2) -> rule5))] Fiona is blue.[(((triple10) -> rule3))] Harry is furry.[(((triple14) -> rule2) OR ((((((triple12) -> rule1)) -> rule5)) -> rule2))] Harry is rough.[(((triple12) -> rule1))] @2: Charlie is furry.[(((((triple2) -> rule5)) -> rule2))] Fiona is rough.[(((((triple10) -> rule3)) -> rule1))] @3: Charlie is red.[(((((((triple2) -> rule5)) -> rule2)) -> rule4))] Fiona is smart.[(((((((triple10) -> rule3)) -> rule1)) -> rule5))] @4: Fiona is furry.[(((((((((triple10) -> rule3)) -> rule1)) -> rule5)) -> rule2))] @5: Fiona is red.[(((((((((((triple10) -> rule3)) -> rule1)) -> rule5)) -> rule2)) -> rule4))]