Erin is nice. Erin is quiet. Erin is round. Furry, nice things are big. If something is big and nice then it is cold. If Erin is quiet then Erin is nice. All furry, nice things are quiet. All round, cold things are quiet. If Erin is nice and Erin is furry then Erin is big. If something is green then it is furry. If something is nice then it is green.
Erin is big.
@0: Erin is nice.[(triple1 OR ((triple2) -> rule3))] Erin is quiet.[(triple2 OR ((((((triple1) -> rule8)) -> rule7) triple1) -> rule4) OR ((triple3 ((((triple1 ((((triple1) -> rule8)) -> rule7)) -> rule6) triple1) -> rule2)) -> rule5) OR ((triple3 ((((((((triple1) -> rule8)) -> rule7) triple1) -> rule1) triple1) -> rule2)) -> rule5))] Erin is round.[(triple3)] @1: Erin is green.[(((triple1) -> rule8) OR ((((triple2) -> rule3)) -> rule8))] @2: Erin is furry.[(((((triple1) -> rule8)) -> rule7) OR ((((((triple2) -> rule3)) -> rule8)) -> rule7))] @3: Erin is big.[(((triple1 ((((triple1) -> rule8)) -> rule7)) -> rule6) OR ((((((triple1) -> rule8)) -> rule7) triple1) -> rule1) OR ((((triple2) -> rule3) ((((triple1) -> rule8)) -> rule7)) -> rule6) OR ((((((triple1) -> rule8)) -> rule7) ((triple2) -> rule3)) -> rule1) OR ((triple1 ((((((triple2) -> rule3)) -> rule8)) -> rule7)) -> rule6) OR ((((((((triple2) -> rule3)) -> rule8)) -> rule7) triple1) -> rule1) OR ((((triple2) -> rule3) ((((((triple2) -> rule3)) -> rule8)) -> rule7)) -> rule6) OR ((((((((triple2) -> rule3)) -> rule8)) -> rule7) ((triple2) -> rule3)) -> rule1))] @4: Erin is cold.[(((((triple1 ((((triple1) -> rule8)) -> rule7)) -> rule6) triple1) -> rule2) OR ((((((((triple1) -> rule8)) -> rule7) triple1) -> rule1) triple1) -> rule2) OR ((((triple1 ((((triple1) -> rule8)) -> rule7)) -> rule6) ((triple2) -> rule3)) -> rule2) OR ((((((triple2) -> rule3) ((((triple1) -> rule8)) -> rule7)) -> rule6) triple1) -> rule2) OR ((((((((triple1) -> rule8)) -> rule7) triple1) -> rule1) ((triple2) -> rule3)) -> rule2) OR ((((((((triple1) -> rule8)) -> rule7) ((triple2) -> rule3)) -> rule1) triple1) -> rule2) OR ((((((triple2) -> rule3) ((((triple1) -> rule8)) -> rule7)) -> rule6) ((triple2) -> rule3)) -> rule2) OR ((((((((triple1) -> rule8)) -> rule7) ((triple2) -> rule3)) -> rule1) ((triple2) -> rule3)) -> rule2) OR ((((triple1 ((((((triple2) -> rule3)) -> rule8)) -> rule7)) -> rule6) triple1) -> rule2) OR ((((((((((triple2) -> rule3)) -> rule8)) -> rule7) triple1) -> rule1) triple1) -> rule2) OR ((((triple1 ((((((triple2) -> rule3)) -> rule8)) -> rule7)) -> rule6) ((triple2) -> rule3)) -> rule2) OR ((((((triple2) -> rule3) ((((((triple2) -> rule3)) -> rule8)) -> rule7)) -> rule6) triple1) -> rule2) OR ((((((((((triple2) -> rule3)) -> rule8)) -> rule7) triple1) -> rule1) ((triple2) -> rule3)) -> rule2) OR ((((((((((triple2) -> rule3)) -> rule8)) -> rule7) ((triple2) -> rule3)) -> rule1) triple1) -> rule2) OR ((((((triple2) -> rule3) ((((((triple2) -> rule3)) -> rule8)) -> rule7)) -> rule6) ((triple2) -> rule3)) -> rule2) OR ((((((((((triple2) -> rule3)) -> rule8)) -> rule7) ((triple2) -> rule3)) -> rule1) ((triple2) -> rule3)) -> rule2))]