Erin is blue. Erin is cold. Erin is furry. Erin is quiet. Erin is round. Erin is smart. Erin is young. Fiona is quiet. Fiona is young. Gary is blue. Gary is cold. Gary is furry. Gary is quiet. Gary is round. Gary is smart. Gary is young. All young people are round. If someone is cold and young then they are quiet. If someone is young and blue then they are quiet. Furry people are quiet. Young, round people are smart. Cold people are quiet. Young, quiet people are cold. If someone is blue and smart then they are cold.
Fiona is round.
@0: Erin is blue.[(triple1)] Erin is cold.[(triple2 OR ((triple1 triple6) -> rule8) OR ((triple7 triple4) -> rule7) OR ((triple1 ((triple7 triple5) -> rule5)) -> rule8) OR ((triple7 ((triple3) -> rule4)) -> rule7) OR ((triple7 ((triple7 triple1) -> rule3)) -> rule7) OR ((triple1 ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule8))] Erin is furry.[(triple3)] Erin is quiet.[(triple4 OR ((triple2) -> rule6) OR ((triple3) -> rule4) OR ((triple2 triple7) -> rule2) OR ((triple7 triple1) -> rule3) OR ((((triple1 triple6) -> rule8)) -> rule6) OR ((((triple1 triple6) -> rule8) triple7) -> rule2) OR ((((triple1 ((triple7 triple5) -> rule5)) -> rule8)) -> rule6) OR ((((triple1 ((triple7 triple5) -> rule5)) -> rule8) triple7) -> rule2) OR ((((triple1 ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule8)) -> rule6) OR ((((triple1 ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule8) triple7) -> rule2))] Erin is round.[(triple5 OR ((triple7) -> rule1))] Erin is smart.[(triple6 OR ((triple7 triple5) -> rule5) OR ((triple7 ((triple7) -> rule1)) -> rule5))] Erin is young.[(triple7)] Fiona is quiet.[(triple8)] Fiona is young.[(triple9)] Gary is blue.[(triple10)] Gary is cold.[(triple11 OR ((triple10 triple15) -> rule8) OR ((triple16 triple13) -> rule7) OR ((triple10 ((triple16 triple14) -> rule5)) -> rule8) OR ((triple16 ((triple12) -> rule4)) -> rule7) OR ((triple16 ((triple16 triple10) -> rule3)) -> rule7) OR ((triple10 ((triple16 ((triple16) -> rule1)) -> rule5)) -> rule8))] Gary is furry.[(triple12)] Gary is quiet.[(triple13 OR ((triple11) -> rule6) OR ((triple12) -> rule4) OR ((triple11 triple16) -> rule2) OR ((triple16 triple10) -> rule3) OR ((((triple10 triple15) -> rule8)) -> rule6) OR ((((triple10 triple15) -> rule8) triple16) -> rule2) OR ((((triple10 ((triple16 triple14) -> rule5)) -> rule8)) -> rule6) OR ((((triple10 ((triple16 triple14) -> rule5)) -> rule8) triple16) -> rule2) OR ((((triple10 ((triple16 ((triple16) -> rule1)) -> rule5)) -> rule8)) -> rule6) OR ((((triple10 ((triple16 ((triple16) -> rule1)) -> rule5)) -> rule8) triple16) -> rule2))] Gary is round.[(triple14 OR ((triple16) -> rule1))] Gary is smart.[(triple15 OR ((triple16 triple14) -> rule5) OR ((triple16 ((triple16) -> rule1)) -> rule5))] Gary is young.[(triple16)] @1: Fiona is cold.[(((triple9 triple8) -> rule7))] Fiona is round.[(((triple9) -> rule1))] @2: Fiona is smart.[(((triple9 ((triple9) -> rule1)) -> rule5))]