Charlie is cold. Charlie is furry. Charlie is nice. Charlie is quiet. Charlie is smart. Erin is cold. Erin is nice. Erin is smart. Fiona is cold. Fiona is furry. Fiona is nice. Fiona is quiet. If someone is nice then they are furry. If someone is cold and furry then they are blue. Red people are quiet. If someone is blue and furry then they are quiet. If someone is quiet and red then they are cold. Nice, red people are smart. If Erin is quiet then Erin is cold. Quiet people are furry.
Erin is blue.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2 OR ((triple3) -> rule1) OR ((triple4) -> rule8))] Charlie is nice.[(triple3)] Charlie is quiet.[(triple4 OR ((((triple1 triple2) -> rule2) triple2) -> rule4) OR ((((triple1 triple2) -> rule2) ((triple3) -> rule1)) -> rule4) OR ((((triple1 ((triple3) -> rule1)) -> rule2) triple2) -> rule4) OR ((((triple1 ((triple3) -> rule1)) -> rule2) ((triple3) -> rule1)) -> rule4))] Charlie is smart.[(triple5)] Erin is cold.[(triple6)] Erin is nice.[(triple7)] Erin is smart.[(triple8)] Fiona is cold.[(triple9)] Fiona is furry.[(triple10 OR ((triple11) -> rule1) OR ((triple12) -> rule8))] Fiona is nice.[(triple11)] Fiona is quiet.[(triple12 OR ((((triple9 triple10) -> rule2) triple10) -> rule4) OR ((((triple9 triple10) -> rule2) ((triple11) -> rule1)) -> rule4) OR ((((triple9 ((triple11) -> rule1)) -> rule2) triple10) -> rule4) OR ((((triple9 ((triple11) -> rule1)) -> rule2) ((triple11) -> rule1)) -> rule4))] @1: Charlie is blue.[(((triple1 triple2) -> rule2) OR ((triple1 ((triple3) -> rule1)) -> rule2) OR ((triple1 ((triple4) -> rule8)) -> rule2))] Erin is furry.[(((triple7) -> rule1))] Fiona is blue.[(((triple9 triple10) -> rule2) OR ((triple9 ((triple11) -> rule1)) -> rule2) OR ((triple9 ((triple12) -> rule8)) -> rule2))] @2: Erin is blue.[(((triple6 ((triple7) -> rule1)) -> rule2))] @3: Erin is quiet.[(((((triple6 ((triple7) -> rule1)) -> rule2) ((triple7) -> rule1)) -> rule4))]