Bob is kind. Erin is big. Erin is quiet. Fiona is kind. Fiona is rough. Gary is nice. Gary is smart. If something is quiet and smart then it is furry. Rough, big things are kind. If something is big and kind then it is quiet. If something is quiet and big then it is kind. Rough things are big. Smart things are kind. Nice, furry things are quiet. If something is kind then it is rough.
Bob is not big.
@0: Bob is kind.[(triple1)] Erin is big.[(triple2)] Erin is quiet.[(triple3)] Fiona is kind.[(triple4 OR ((triple5 ((triple5) -> rule5)) -> rule2))] Fiona is rough.[(triple5 OR ((triple4) -> rule8))] Gary is nice.[(triple6)] Gary is smart.[(triple7)] @1: Bob is rough.[(((triple1) -> rule8))] Erin is kind.[(((triple3 triple2) -> rule4))] Fiona is big.[(((triple5) -> rule5) OR ((((triple4) -> rule8)) -> rule5))] Gary is kind.[(((triple7) -> rule6))] @2: Bob is big.[(((((triple1) -> rule8)) -> rule5))] Erin is rough.[(((((triple3 triple2) -> rule4)) -> rule8))] Fiona is quiet.[(((((triple5) -> rule5) triple4) -> rule3) OR ((((((triple4) -> rule8)) -> rule5) triple4) -> rule3) OR ((((triple5) -> rule5) ((triple5 ((triple5) -> rule5)) -> rule2)) -> rule3) OR ((((((triple4) -> rule8)) -> rule5) ((triple5 ((triple5) -> rule5)) -> rule2)) -> rule3))] Gary is rough.[(((((triple7) -> rule6)) -> rule8))] @3: Bob is quiet.[(((((((triple1) -> rule8)) -> rule5) triple1) -> rule3))] Gary is big.[(((((((triple7) -> rule6)) -> rule8)) -> rule5))] @4: Gary is quiet.[(((((((((triple7) -> rule6)) -> rule8)) -> rule5) ((triple7) -> rule6)) -> rule3))] @5: Gary is furry.[(((((((((((triple7) -> rule6)) -> rule8)) -> rule5) ((triple7) -> rule6)) -> rule3) triple7) -> rule1))]