Charlie is blue. Charlie is furry. Charlie is nice. Charlie is quiet. Charlie is smart. Charlie is young. Erin is nice. Erin is rough. Erin is smart. Gary is blue. Gary is furry. Gary is nice. Gary is quiet. Gary is rough. Gary is smart. Gary is young. Quiet things are nice. All young things are nice. If something is quiet then it is young. If something is nice then it is quiet. Blue, young things are furry. If something is young then it is blue. Nice things are rough. All furry, rough things are young.
Charlie is quiet.
@0: Charlie is blue.[(triple1 OR ((triple6) -> rule6) OR ((((triple4) -> rule3)) -> rule6) OR ((((((triple3) -> rule4)) -> rule3)) -> rule6) OR ((((triple2 ((triple3) -> rule7)) -> rule8)) -> rule6) OR ((((triple2 ((((triple4) -> rule1)) -> rule7)) -> rule8)) -> rule6))] Charlie is furry.[(triple2 OR ((triple1 triple6) -> rule5) OR ((triple1 ((triple4) -> rule3)) -> rule5) OR ((((triple6) -> rule6) triple6) -> rule5) OR ((((triple6) -> rule6) ((triple4) -> rule3)) -> rule5) OR ((triple1 ((((triple3) -> rule4)) -> rule3)) -> rule5) OR ((((((triple4) -> rule3)) -> rule6) triple6) -> rule5) OR ((((triple6) -> rule6) ((((triple3) -> rule4)) -> rule3)) -> rule5) OR ((((((triple4) -> rule3)) -> rule6) ((triple4) -> rule3)) -> rule5) OR ((((((triple4) -> rule3)) -> rule6) ((((triple3) -> rule4)) -> rule3)) -> rule5) OR ((((((((triple3) -> rule4)) -> rule3)) -> rule6) triple6) -> rule5) OR ((((((((triple3) -> rule4)) -> rule3)) -> rule6) ((triple4) -> rule3)) -> rule5) OR ((((((((triple3) -> rule4)) -> rule3)) -> rule6) ((((triple3) -> rule4)) -> rule3)) -> rule5))] Charlie is nice.[(triple3 OR ((triple4) -> rule1) OR ((triple6) -> rule2) OR ((((triple4) -> rule3)) -> rule2))] Charlie is quiet.[(triple4 OR ((triple3) -> rule4) OR ((((triple6) -> rule2)) -> rule4))] Charlie is smart.[(triple5)] Charlie is young.[(triple6 OR ((triple4) -> rule3) OR ((((triple3) -> rule4)) -> rule3) OR ((triple2 ((triple3) -> rule7)) -> rule8) OR ((triple2 ((((triple4) -> rule1)) -> rule7)) -> rule8))] Erin is nice.[(triple7)] Erin is rough.[(triple8 OR ((triple7) -> rule7))] Erin is smart.[(triple9)] Gary is blue.[(triple10 OR ((triple16) -> rule6) OR ((((triple13) -> rule3)) -> rule6) OR ((((triple11 triple14) -> rule8)) -> rule6) OR ((((((triple12) -> rule4)) -> rule3)) -> rule6) OR ((((triple11 ((triple12) -> rule7)) -> rule8)) -> rule6) OR ((((triple11 ((((triple13) -> rule1)) -> rule7)) -> rule8)) -> rule6))] Gary is furry.[(triple11 OR ((triple10 triple16) -> rule5) OR ((triple10 ((triple13) -> rule3)) -> rule5) OR ((((triple16) -> rule6) triple16) -> rule5) OR ((((triple16) -> rule6) ((triple13) -> rule3)) -> rule5) OR ((triple10 ((((triple12) -> rule4)) -> rule3)) -> rule5) OR ((((((triple13) -> rule3)) -> rule6) triple16) -> rule5) OR ((((triple16) -> rule6) ((((triple12) -> rule4)) -> rule3)) -> rule5) OR ((((((triple13) -> rule3)) -> rule6) ((triple13) -> rule3)) -> rule5) OR ((((((triple13) -> rule3)) -> rule6) ((((triple12) -> rule4)) -> rule3)) -> rule5) OR ((((((((triple12) -> rule4)) -> rule3)) -> rule6) triple16) -> rule5) OR ((((((((triple12) -> rule4)) -> rule3)) -> rule6) ((triple13) -> rule3)) -> rule5) OR ((((((((triple12) -> rule4)) -> rule3)) -> rule6) ((((triple12) -> rule4)) -> rule3)) -> rule5))] Gary is nice.[(triple12 OR ((triple13) -> rule1) OR ((triple16) -> rule2) OR ((((triple13) -> rule3)) -> rule2) OR ((((triple11 triple14) -> rule8)) -> rule2))] Gary is quiet.[(triple13 OR ((triple12) -> rule4) OR ((((triple16) -> rule2)) -> rule4) OR ((((((triple11 triple14) -> rule8)) -> rule2)) -> rule4))] Gary is rough.[(triple14 OR ((triple12) -> rule7) OR ((((triple13) -> rule1)) -> rule7) OR ((((triple16) -> rule2)) -> rule7) OR ((((((triple13) -> rule3)) -> rule2)) -> rule7))] Gary is smart.[(triple15)] Gary is young.[(triple16 OR ((triple13) -> rule3) OR ((triple11 triple14) -> rule8) OR ((((triple12) -> rule4)) -> rule3) OR ((triple11 ((triple12) -> rule7)) -> rule8) OR ((triple11 ((((triple13) -> rule1)) -> rule7)) -> rule8))] @1: Charlie is rough.[(((triple3) -> rule7) OR ((((triple4) -> rule1)) -> rule7) OR ((((triple6) -> rule2)) -> rule7) OR ((((((triple4) -> rule3)) -> rule2)) -> rule7))] Erin is quiet.[(((triple7) -> rule4))] @2: Erin is young.[(((((triple7) -> rule4)) -> rule3))] @3: Erin is blue.[(((((((triple7) -> rule4)) -> rule3)) -> rule6))] @4: Erin is furry.[(((((((((triple7) -> rule4)) -> rule3)) -> rule6) ((((triple7) -> rule4)) -> rule3)) -> rule5))]