Fiona is big. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is round. Fiona is white. Gary is blue. Gary is furry. Gary is quiet. Gary is round. Gary is white. If Gary is furry and Gary is white then Gary is big. If someone is round then they are blue. Big people are kind. All blue, round people are big. If Fiona is quiet then Fiona is round. If Fiona is furry and Fiona is round then Fiona is big.
Gary is round.
@0: Fiona is big.[(triple1 OR ((triple2 triple6) -> rule4) OR ((triple3 triple6) -> rule6) OR ((triple2 ((triple5) -> rule5)) -> rule4) OR ((triple3 ((triple5) -> rule5)) -> rule6) OR ((((triple6) -> rule2) triple6) -> rule4) OR ((((triple6) -> rule2) ((triple5) -> rule5)) -> rule4) OR ((((((triple5) -> rule5)) -> rule2) triple6) -> rule4) OR ((((((triple5) -> rule5)) -> rule2) ((triple5) -> rule5)) -> rule4))] Fiona is blue.[(triple2 OR ((triple6) -> rule2) OR ((((triple5) -> rule5)) -> rule2))] Fiona is furry.[(triple3)] Fiona is kind.[(triple4 OR ((triple1) -> rule3) OR ((((triple2 triple6) -> rule4)) -> rule3) OR ((((triple3 triple6) -> rule6)) -> rule3) OR ((((triple2 ((triple5) -> rule5)) -> rule4)) -> rule3) OR ((((triple3 ((triple5) -> rule5)) -> rule6)) -> rule3) OR ((((((triple6) -> rule2) triple6) -> rule4)) -> rule3) OR ((((((triple6) -> rule2) ((triple5) -> rule5)) -> rule4)) -> rule3) OR ((((((((triple5) -> rule5)) -> rule2) triple6) -> rule4)) -> rule3) OR ((((((((triple5) -> rule5)) -> rule2) ((triple5) -> rule5)) -> rule4)) -> rule3))] Fiona is quiet.[(triple5)] Fiona is round.[(triple6 OR ((triple5) -> rule5))] Fiona is white.[(triple7)] Gary is blue.[(triple8 OR ((triple11) -> rule2))] Gary is furry.[(triple9)] Gary is quiet.[(triple10)] Gary is round.[(triple11)] Gary is white.[(triple12)] @1: Gary is big.[(((triple8 triple11) -> rule4) OR ((triple9 triple12) -> rule1) OR ((((triple11) -> rule2) triple11) -> rule4))] @2: Gary is kind.[(((((triple8 triple11) -> rule4)) -> rule3) OR ((((triple9 triple12) -> rule1)) -> rule3) OR ((((((triple11) -> rule2) triple11) -> rule4)) -> rule3))]