Erin is nice. Erin is rough. Fiona is cold. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is round. Rough, round people are blue. Round, nice people are quiet. If someone is round and quiet then they are blue. If someone is cold then they are nice. All rough, cold people are blue. If Fiona is round then Fiona is blue. If someone is nice then they are furry. Furry, cold people are round.
Fiona is rough.
@0: Erin is nice.[(triple1)] Erin is rough.[(triple2)] Fiona is cold.[(triple3)] Fiona is furry.[(triple4 OR ((triple5) -> rule7) OR ((((triple3) -> rule4)) -> rule7))] Fiona is nice.[(triple5 OR ((triple3) -> rule4))] Fiona is quiet.[(triple6 OR ((triple7 triple5) -> rule2) OR ((triple7 ((triple3) -> rule4)) -> rule2) OR ((((triple4 triple3) -> rule8) triple5) -> rule2) OR ((((triple4 triple3) -> rule8) ((triple3) -> rule4)) -> rule2) OR ((((((triple5) -> rule7) triple3) -> rule8) triple5) -> rule2) OR ((((((triple5) -> rule7) triple3) -> rule8) ((triple3) -> rule4)) -> rule2) OR ((((((((triple3) -> rule4)) -> rule7) triple3) -> rule8) triple5) -> rule2) OR ((((((((triple3) -> rule4)) -> rule7) triple3) -> rule8) ((triple3) -> rule4)) -> rule2))] Fiona is round.[(triple7 OR ((triple4 triple3) -> rule8) OR ((((triple5) -> rule7) triple3) -> rule8) OR ((((((triple3) -> rule4)) -> rule7) triple3) -> rule8))] @1: Erin is furry.[(((triple1) -> rule7))] Fiona is blue.[(((triple7) -> rule6) OR ((triple7 triple6) -> rule3) OR ((((triple4 triple3) -> rule8)) -> rule6) OR ((triple7 ((triple7 triple5) -> rule2)) -> rule3) OR ((((triple4 triple3) -> rule8) triple6) -> rule3) OR ((((triple4 triple3) -> rule8) ((triple7 triple5) -> rule2)) -> rule3) OR ((((((triple5) -> rule7) triple3) -> rule8)) -> rule6) OR ((triple7 ((triple7 ((triple3) -> rule4)) -> rule2)) -> rule3) OR ((triple7 ((((triple4 triple3) -> rule8) triple5) -> rule2)) -> rule3) OR ((((((triple5) -> rule7) triple3) -> rule8) triple6) -> rule3) OR ((triple7 ((((triple4 triple3) -> rule8) ((triple3) -> rule4)) -> rule2)) -> rule3) OR ((((triple4 triple3) -> rule8) ((triple7 ((triple3) -> rule4)) -> rule2)) -> rule3) OR ((((triple4 triple3) -> rule8) ((((triple4 triple3) -> rule8) triple5) -> rule2)) -> rule3) OR ((((((triple5) -> rule7) triple3) -> rule8) ((triple7 triple5) -> rule2)) -> rule3) OR ((((triple4 triple3) -> rule8) ((((triple4 triple3) -> rule8) ((triple3) -> rule4)) -> rule2)) -> rule3) OR ((((((triple5) -> rule7) triple3) -> rule8) ((triple7 ((triple3) -> rule4)) -> rule2)) -> rule3) OR ((((((triple5) -> rule7) triple3) -> rule8) ((((triple4 triple3) -> rule8) triple5) -> rule2)) -> rule3) OR ((((((triple5) -> rule7) triple3) -> rule8) ((((triple4 triple3) -> rule8) ((triple3) -> rule4)) -> rule2)) -> rule3) OR ((((((((triple3) -> rule4)) -> rule7) triple3) -> rule8)) -> rule6) OR ((triple7 ((((((triple5) -> rule7) triple3) -> rule8) triple5) -> rule2)) -> rule3) OR ((((((((triple3) -> rule4)) -> rule7) triple3) -> rule8) triple6) -> rule3) OR ((triple7 ((((((triple5) -> rule7) triple3) -> rule8) ((triple3) -> rule4)) -> rule2)) -> rule3) OR ((((triple4 triple3) -> rule8) ((((((triple5) -> rule7) triple3) -> rule8) triple5) -> rule2)) -> rule3) OR ((((((((triple3) -> rule4)) -> rule7) triple3) -> rule8) ((triple7 triple5) -> rule2)) -> rule3) OR ((((triple4 triple3) -> rule8) ((((((triple5) -> rule7) triple3) -> rule8) ((triple3) -> rule4)) -> rule2)) -> rule3) OR ((((((triple5) -> rule7) triple3) -> rule8) ((((((triple5) -> rule7) triple3) -> rule8) triple5) -> rule2)) -> rule3) OR ((((((((triple3) -> rule4)) -> rule7) triple3) -> rule8) ((triple7 ((triple3) -> rule4)) -> rule2)) -> rule3) OR ((((((((triple3) -> rule4)) -> rule7) triple3) -> rule8) ((((triple4 triple3) -> rule8) triple5) -> rule2)) -> rule3) OR ((((((triple5) -> rule7) triple3) -> rule8) ((((((triple5) -> rule7) triple3) -> rule8) ((triple3) -> rule4)) -> rule2)) -> rule3) OR ((((((((triple3) -> rule4)) -> rule7) triple3) -> rule8) ((((triple4 triple3) -> rule8) ((triple3) -> rule4)) -> rule2)) -> rule3) OR ((((((((triple3) -> rule4)) -> rule7) triple3) -> rule8) ((((((triple5) -> rule7) triple3) -> rule8) triple5) -> rule2)) -> rule3) OR ((((((((triple3) -> rule4)) -> rule7) triple3) -> rule8) ((((((triple5) -> rule7) triple3) -> rule8) ((triple3) -> rule4)) -> rule2)) -> rule3) OR ((triple7 ((((((((triple3) -> rule4)) -> rule7) triple3) -> rule8) triple5) -> rule2)) -> rule3) OR ((triple7 ((((((((triple3) -> rule4)) -> rule7) triple3) -> rule8) ((triple3) -> rule4)) -> rule2)) -> rule3) OR ((((triple4 triple3) -> rule8) ((((((((triple3) -> rule4)) -> rule7) triple3) -> rule8) triple5) -> rule2)) -> rule3) OR ((((triple4 triple3) -> rule8) ((((((((triple3) -> rule4)) -> rule7) triple3) -> rule8) ((triple3) -> rule4)) -> rule2)) -> rule3) OR ((((((triple5) -> rule7) triple3) -> rule8) ((((((((triple3) -> rule4)) -> rule7) triple3) -> rule8) triple5) -> rule2)) -> rule3) OR ((((((triple5) -> rule7) triple3) -> rule8) ((((((((triple3) -> rule4)) -> rule7) triple3) -> rule8) ((triple3) -> rule4)) -> rule2)) -> rule3) OR ((((((((triple3) -> rule4)) -> rule7) triple3) -> rule8) ((((((((triple3) -> rule4)) -> rule7) triple3) -> rule8) triple5) -> rule2)) -> rule3) OR ((((((((triple3) -> rule4)) -> rule7) triple3) -> rule8) ((((((((triple3) -> rule4)) -> rule7) triple3) -> rule8) ((triple3) -> rule4)) -> rule2)) -> rule3))]