Erin is blue. Erin is red. Erin is rough. Erin is round. Fiona is blue. Fiona is furry. Fiona is red. Fiona is rough. Fiona is round. Gary is big. Gary is blue. Gary is furry. Gary is red. Gary is rough. Gary is round. Blue things are big. Blue, furry things are round. If Gary is blue and Gary is furry then Gary is rough. If Erin is big then Erin is cold. Round things are blue. Red, rough things are cold. If something is rough then it is big. All rough, big things are blue.
Fiona is not furry.
@0: Erin is blue.[(triple1 OR ((triple4) -> rule5) OR ((triple3 ((triple3) -> rule7)) -> rule8))] Erin is red.[(triple2)] Erin is rough.[(triple3)] Erin is round.[(triple4)] Fiona is blue.[(triple5 OR ((triple9) -> rule5) OR ((triple8 ((triple8) -> rule7)) -> rule8))] Fiona is furry.[(triple6)] Fiona is red.[(triple7)] Fiona is rough.[(triple8)] Fiona is round.[(triple9 OR ((triple5 triple6) -> rule2) OR ((((triple8 ((triple8) -> rule7)) -> rule8) triple6) -> rule2))] Gary is big.[(triple10 OR ((triple11) -> rule1) OR ((triple14) -> rule7) OR ((((triple15) -> rule5)) -> rule1) OR ((((triple11 triple12) -> rule3)) -> rule7) OR ((((((triple15) -> rule5) triple12) -> rule3)) -> rule7))] Gary is blue.[(triple11 OR ((triple15) -> rule5) OR ((triple14 triple10) -> rule8) OR ((triple14 ((triple14) -> rule7)) -> rule8))] Gary is furry.[(triple12)] Gary is red.[(triple13)] Gary is rough.[(triple14 OR ((triple11 triple12) -> rule3) OR ((((triple15) -> rule5) triple12) -> rule3))] Gary is round.[(triple15 OR ((triple11 triple12) -> rule2) OR ((((triple14 triple10) -> rule8) triple12) -> rule2) OR ((((triple14 ((triple14) -> rule7)) -> rule8) triple12) -> rule2))] @1: Erin is big.[(((triple1) -> rule1) OR ((triple3) -> rule7) OR ((((triple4) -> rule5)) -> rule1))] Erin is cold.[(((triple2 triple3) -> rule6) OR ((((triple1) -> rule1)) -> rule4) OR ((((triple3) -> rule7)) -> rule4) OR ((((((triple4) -> rule5)) -> rule1)) -> rule4))] Fiona is big.[(((triple5) -> rule1) OR ((triple8) -> rule7) OR ((((triple9) -> rule5)) -> rule1))] Fiona is cold.[(((triple7 triple8) -> rule6))] Gary is cold.[(((triple13 triple14) -> rule6) OR ((triple13 ((triple11 triple12) -> rule3)) -> rule6) OR ((triple13 ((((triple15) -> rule5) triple12) -> rule3)) -> rule6))]