Charlie is nice. Erin is nice. Erin is red. Fiona is big. Fiona is green. Fiona is red. Fiona is smart. If something is big and nice then it is red. Nice, furry things are red. Smart, nice things are big. All red things are green. All nice things are smart. All red things are big. If something is big and nice then it is red. If Charlie is red then Charlie is green.
Fiona is nice.
@0: Charlie is nice.[(triple1)] Erin is nice.[(triple2)] Erin is red.[(triple3 OR ((((((triple2) -> rule5) triple2) -> rule3) triple2) -> rule1) OR ((((((triple2) -> rule5) triple2) -> rule3) triple2) -> rule7))] Fiona is big.[(triple4 OR ((triple6) -> rule6))] Fiona is green.[(triple5 OR ((triple6) -> rule4))] Fiona is red.[(triple6)] Fiona is smart.[(triple7)] @1: Charlie is smart.[(((triple1) -> rule5))] Erin is big.[(((triple3) -> rule6) OR ((((triple2) -> rule5) triple2) -> rule3))] Erin is green.[(((triple3) -> rule4) OR ((((((((triple2) -> rule5) triple2) -> rule3) triple2) -> rule1)) -> rule4) OR ((((((((triple2) -> rule5) triple2) -> rule3) triple2) -> rule7)) -> rule4))] Erin is smart.[(((triple2) -> rule5))] @2: Charlie is big.[(((((triple1) -> rule5) triple1) -> rule3))] @3: Charlie is red.[(((((((triple1) -> rule5) triple1) -> rule3) triple1) -> rule1) OR ((((((triple1) -> rule5) triple1) -> rule3) triple1) -> rule7))] @4: Charlie is green.[(((((((((triple1) -> rule5) triple1) -> rule3) triple1) -> rule1)) -> rule4) OR ((((((((triple1) -> rule5) triple1) -> rule3) triple1) -> rule1)) -> rule8) OR ((((((((triple1) -> rule5) triple1) -> rule3) triple1) -> rule7)) -> rule4) OR ((((((((triple1) -> rule5) triple1) -> rule3) triple1) -> rule7)) -> rule8))]