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