Anne is big. Anne is cold. Anne is nice. Anne is round. Anne is smart. Fiona is big. Fiona is blue. Fiona is nice. Fiona is rough. Fiona is round. Gary is blue. Gary is cold. Gary is rough. Gary is round. Gary is smart. All big, round people are smart. If Fiona is cold then Fiona is blue. If someone is round then they are smart. If someone is blue and smart then they are big. If someone is blue then they are round. Blue people are nice.
Gary is blue.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is nice.[(triple3)] Anne is round.[(triple4)] Anne is smart.[(triple5 OR ((triple4) -> rule3) OR ((triple1 triple4) -> rule1))] Fiona is big.[(triple6 OR ((triple7 ((triple10) -> rule3)) -> rule4) OR ((triple7 ((((triple7) -> rule5)) -> rule3)) -> rule4))] Fiona is blue.[(triple7)] Fiona is nice.[(triple8 OR ((triple7) -> rule6))] Fiona is rough.[(triple9)] Fiona is round.[(triple10 OR ((triple7) -> rule5))] Gary is blue.[(triple11)] Gary is cold.[(triple12)] Gary is rough.[(triple13)] Gary is round.[(triple14 OR ((triple11) -> rule5))] Gary is smart.[(triple15 OR ((triple14) -> rule3) OR ((((triple11) -> rule5)) -> rule3))] @1: Fiona is smart.[(((triple10) -> rule3) OR ((triple6 triple10) -> rule1) OR ((((triple7) -> rule5)) -> rule3) OR ((triple6 ((triple7) -> rule5)) -> rule1))] Gary is big.[(((triple11 triple15) -> rule4) OR ((triple11 ((triple14) -> rule3)) -> rule4) OR ((triple11 ((((triple11) -> rule5)) -> rule3)) -> rule4))] Gary is nice.[(((triple11) -> rule6))]