Anne is blue. Charlie is blue. Charlie is green. Charlie is smart. Fiona is big. Fiona is blue. Fiona is furry. Fiona is green. Fiona is quiet. Gary is rough. Gary is smart. All blue things are quiet. If Anne is green then Anne is quiet. All rough, blue things are smart. All blue, quiet things are furry. If something is furry then it is blue. Furry things are rough. Smart things are big. Rough things are quiet.
Charlie is not furry.
@0: Anne is blue.[(triple1)] Charlie is blue.[(triple2)] Charlie is green.[(triple3)] Charlie is smart.[(triple4 OR ((((((triple2 ((triple2) -> rule1)) -> rule4)) -> rule6) triple2) -> rule3))] Fiona is big.[(triple5 OR ((((((triple7) -> rule6) triple6) -> rule3)) -> rule7) OR ((((((triple7) -> rule6) ((triple7) -> rule5)) -> rule3)) -> rule7) OR ((((((((triple6 triple9) -> rule4)) -> rule6) triple6) -> rule3)) -> rule7) OR ((((((((triple6 triple9) -> rule4)) -> rule6) ((triple7) -> rule5)) -> rule3)) -> rule7) OR ((((((((triple6 ((triple6) -> rule1)) -> rule4)) -> rule6) triple6) -> rule3)) -> rule7) OR ((((((((triple6 ((triple6) -> rule1)) -> rule4)) -> rule6) ((triple7) -> rule5)) -> rule3)) -> rule7))] Fiona is blue.[(triple6 OR ((triple7) -> rule5))] Fiona is furry.[(triple7 OR ((triple6 triple9) -> rule4) OR ((triple6 ((triple6) -> rule1)) -> rule4))] Fiona is green.[(triple8)] Fiona is quiet.[(triple9 OR ((triple6) -> rule1) OR ((((triple7) -> rule5)) -> rule1) OR ((((triple7) -> rule6)) -> rule8))] Gary is rough.[(triple10)] Gary is smart.[(triple11)] @1: Anne is quiet.[(((triple1) -> rule1))] Charlie is big.[(((triple4) -> rule7) OR ((((((((triple2 ((triple2) -> rule1)) -> rule4)) -> rule6) triple2) -> rule3)) -> rule7))] Charlie is quiet.[(((triple2) -> rule1))] Fiona is rough.[(((triple7) -> rule6) OR ((((triple6 triple9) -> rule4)) -> rule6) OR ((((triple6 ((triple6) -> rule1)) -> rule4)) -> rule6))] Gary is big.[(((triple11) -> rule7))] Gary is quiet.[(((triple10) -> rule8))] @2: Anne is furry.[(((triple1 ((triple1) -> rule1)) -> rule4))] Charlie is furry.[(((triple2 ((triple2) -> rule1)) -> rule4))] Fiona is smart.[(((((triple7) -> rule6) triple6) -> rule3) OR ((((triple7) -> rule6) ((triple7) -> rule5)) -> rule3) OR ((((((triple6 triple9) -> rule4)) -> rule6) triple6) -> rule3) OR ((((((triple6 triple9) -> rule4)) -> rule6) ((triple7) -> rule5)) -> rule3) OR ((((((triple6 ((triple6) -> rule1)) -> rule4)) -> rule6) triple6) -> rule3) OR ((((((triple6 ((triple6) -> rule1)) -> rule4)) -> rule6) ((triple7) -> rule5)) -> rule3))] @3: Anne is rough.[(((((triple1 ((triple1) -> rule1)) -> rule4)) -> rule6))] Charlie is rough.[(((((triple2 ((triple2) -> rule1)) -> rule4)) -> rule6))] @4: Anne is smart.[(((((((triple1 ((triple1) -> rule1)) -> rule4)) -> rule6) triple1) -> rule3))] @5: Anne is big.[(((((((((triple1 ((triple1) -> rule1)) -> rule4)) -> rule6) triple1) -> rule3)) -> rule7))]