Fiona is furry. Fiona is quiet. Fiona is young. Gary is big. Gary is furry. Gary is nice. Gary is quiet. Gary is red. Gary is white. Gary is young. If Fiona is big then Fiona is quiet. Nice, big things are white. All furry, nice things are white. If Fiona is nice and Fiona is red then Fiona is furry. If something is furry and quiet then it is red. All red things are nice. Big, white things are young. If Gary is red then Gary is furry.
Fiona is white.
@0: Fiona is furry.[(triple1)] Fiona is quiet.[(triple2)] Fiona is young.[(triple3)] Gary is big.[(triple4)] Gary is furry.[(triple5 OR ((triple8) -> rule8))] Gary is nice.[(triple6 OR ((triple8) -> rule6) OR ((((triple5 triple7) -> rule5)) -> rule6))] Gary is quiet.[(triple7)] Gary is red.[(triple8 OR ((triple5 triple7) -> rule5))] Gary is white.[(triple9 OR ((triple5 triple6) -> rule3) OR ((triple6 triple4) -> rule2) OR ((triple5 ((triple8) -> rule6)) -> rule3) OR ((((triple8) -> rule6) triple4) -> rule2) OR ((((triple8) -> rule8) triple6) -> rule3) OR ((((triple8) -> rule8) ((triple8) -> rule6)) -> rule3) OR ((triple5 ((((triple5 triple7) -> rule5)) -> rule6)) -> rule3) OR ((((((triple5 triple7) -> rule5)) -> rule6) triple4) -> rule2) OR ((((triple8) -> rule8) ((((triple5 triple7) -> rule5)) -> rule6)) -> rule3))] Gary is young.[(triple10 OR ((triple4 triple9) -> rule7) OR ((triple4 ((triple5 triple6) -> rule3)) -> rule7) OR ((triple4 ((triple6 triple4) -> rule2)) -> rule7) OR ((triple4 ((triple5 ((triple8) -> rule6)) -> rule3)) -> rule7) OR ((triple4 ((((triple8) -> rule6) triple4) -> rule2)) -> rule7) OR ((triple4 ((((triple8) -> rule8) triple6) -> rule3)) -> rule7) OR ((triple4 ((((triple8) -> rule8) ((triple8) -> rule6)) -> rule3)) -> rule7) OR ((triple4 ((triple5 ((((triple5 triple7) -> rule5)) -> rule6)) -> rule3)) -> rule7) OR ((triple4 ((((((triple5 triple7) -> rule5)) -> rule6) triple4) -> rule2)) -> rule7) OR ((triple4 ((((triple8) -> rule8) ((((triple5 triple7) -> rule5)) -> rule6)) -> rule3)) -> rule7))] @1: Fiona is red.[(((triple1 triple2) -> rule5))] @2: Fiona is nice.[(((((triple1 triple2) -> rule5)) -> rule6))] @3: Fiona is white.[(((triple1 ((((triple1 triple2) -> rule5)) -> rule6)) -> rule3))]