Dave is big. Fiona is big. Fiona is furry. Fiona is nice. Fiona is red. Fiona is rough. Fiona is round. Fiona is young. Gary is furry. Gary is red. If something is round and red then it is big. Round, furry things are rough. If something is furry then it is big. Nice, round things are furry. If Fiona is round then Fiona is young. If something is red and big then it is round.
Gary is rough.
@0: Dave is big.[(triple1)] Fiona is big.[(triple2 OR ((triple3) -> rule3) OR ((triple7 triple5) -> rule1) OR ((((triple4 triple7) -> rule4)) -> rule3))] Fiona is furry.[(triple3 OR ((triple4 triple7) -> rule4) OR ((triple4 ((triple5 triple2) -> rule6)) -> rule4))] Fiona is nice.[(triple4)] Fiona is red.[(triple5)] Fiona is rough.[(triple6 OR ((triple7 triple3) -> rule2) OR ((triple7 ((triple4 triple7) -> rule4)) -> rule2) OR ((((triple5 triple2) -> rule6) triple3) -> rule2) OR ((((triple5 triple2) -> rule6) ((triple4 triple7) -> rule4)) -> rule2) OR ((triple7 ((triple4 ((triple5 triple2) -> rule6)) -> rule4)) -> rule2) OR ((((triple5 ((triple3) -> rule3)) -> rule6) triple3) -> rule2) OR ((((triple5 triple2) -> rule6) ((triple4 ((triple5 triple2) -> rule6)) -> rule4)) -> rule2) OR ((((triple5 ((triple3) -> rule3)) -> rule6) ((triple4 triple7) -> rule4)) -> rule2) OR ((((triple5 ((triple3) -> rule3)) -> rule6) ((triple4 ((triple5 triple2) -> rule6)) -> rule4)) -> rule2))] Fiona is round.[(triple7 OR ((triple5 triple2) -> rule6) OR ((triple5 ((triple3) -> rule3)) -> rule6))] Fiona is young.[(triple8 OR ((triple7) -> rule5) OR ((((triple5 triple2) -> rule6)) -> rule5) OR ((((triple5 ((triple3) -> rule3)) -> rule6)) -> rule5))] Gary is furry.[(triple9)] Gary is red.[(triple10)] @1: Gary is big.[(((triple9) -> rule3))] @2: Gary is round.[(((triple10 ((triple9) -> rule3)) -> rule6))] @3: Gary is rough.[(((((triple10 ((triple9) -> rule3)) -> rule6) triple9) -> rule2))]