Anne is big. Anne is quiet. Anne is red. Charlie is cold. Charlie is furry. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is young. Dave is big. Dave is cold. Dave is furry. Dave is red. Dave is rough. Dave is young. Gary is cold. Rough, quiet things are furry. Furry things are quiet. If Charlie is rough then Charlie is quiet. If Charlie is red then Charlie is cold. If something is cold then it is red. If something is red then it is quiet. If Gary is red and Gary is quiet then Gary is big. All big things are rough. All cold things are red.
Anne is not young.
@0: Anne is big.[(triple1)] Anne is quiet.[(triple2 OR ((triple3) -> rule6))] Anne is red.[(triple3)] Charlie is cold.[(triple4 OR ((triple7) -> rule4))] Charlie is furry.[(triple5 OR ((triple8 triple6) -> rule1) OR ((triple8 ((triple7) -> rule6)) -> rule1) OR ((triple8 ((triple8) -> rule3)) -> rule1) OR ((triple8 ((((triple4) -> rule5)) -> rule6)) -> rule1) OR ((triple8 ((((triple4) -> rule9)) -> rule6)) -> rule1))] Charlie is quiet.[(triple6 OR ((triple5) -> rule2) OR ((triple7) -> rule6) OR ((triple8) -> rule3) OR ((((triple4) -> rule5)) -> rule6) OR ((((triple4) -> rule9)) -> rule6))] Charlie is red.[(triple7 OR ((triple4) -> rule5) OR ((triple4) -> rule9))] Charlie is rough.[(triple8)] Charlie is young.[(triple9)] Dave is big.[(triple10)] Dave is cold.[(triple11)] Dave is furry.[(triple12 OR ((triple14 ((triple13) -> rule6)) -> rule1) OR ((((triple10) -> rule8) ((triple13) -> rule6)) -> rule1) OR ((triple14 ((((triple11) -> rule5)) -> rule6)) -> rule1) OR ((triple14 ((((triple11) -> rule9)) -> rule6)) -> rule1) OR ((((triple10) -> rule8) ((((triple11) -> rule5)) -> rule6)) -> rule1) OR ((((triple10) -> rule8) ((((triple11) -> rule9)) -> rule6)) -> rule1))] Dave is red.[(triple13 OR ((triple11) -> rule5) OR ((triple11) -> rule9))] Dave is rough.[(triple14 OR ((triple10) -> rule8))] Dave is young.[(triple15)] Gary is cold.[(triple16)] @1: Anne is rough.[(((triple1) -> rule8))] Dave is quiet.[(((triple12) -> rule2) OR ((triple13) -> rule6) OR ((((triple11) -> rule5)) -> rule6) OR ((((triple11) -> rule9)) -> rule6))] Gary is red.[(((triple16) -> rule5) OR ((triple16) -> rule9))] @2: Anne is furry.[(((((triple1) -> rule8) triple2) -> rule1) OR ((((triple1) -> rule8) ((triple3) -> rule6)) -> rule1))] Gary is quiet.[(((((triple16) -> rule5)) -> rule6) OR ((((triple16) -> rule9)) -> rule6))] @3: Gary is big.[(((((triple16) -> rule5) ((((triple16) -> rule5)) -> rule6)) -> rule7) OR ((((triple16) -> rule5) ((((triple16) -> rule9)) -> rule6)) -> rule7) OR ((((triple16) -> rule9) ((((triple16) -> rule5)) -> rule6)) -> rule7) OR ((((triple16) -> rule9) ((((triple16) -> rule9)) -> rule6)) -> rule7))] @4: Gary is rough.[(((((((triple16) -> rule5) ((((triple16) -> rule5)) -> rule6)) -> rule7)) -> rule8) OR ((((((triple16) -> rule5) ((((triple16) -> rule9)) -> rule6)) -> rule7)) -> rule8) OR ((((((triple16) -> rule9) ((((triple16) -> rule5)) -> rule6)) -> rule7)) -> rule8) OR ((((((triple16) -> rule9) ((((triple16) -> rule9)) -> rule6)) -> rule7)) -> rule8))] @5: Gary is furry.[(((((((((triple16) -> rule5) ((((triple16) -> rule5)) -> rule6)) -> rule7)) -> rule8) ((((triple16) -> rule5)) -> rule6)) -> rule1) OR ((((((((triple16) -> rule5) ((((triple16) -> rule5)) -> rule6)) -> rule7)) -> rule8) ((((triple16) -> rule9)) -> rule6)) -> rule1) OR ((((((((triple16) -> rule5) ((((triple16) -> rule9)) -> rule6)) -> rule7)) -> rule8) ((((triple16) -> rule5)) -> rule6)) -> rule1) OR ((((((((triple16) -> rule5) ((((triple16) -> rule9)) -> rule6)) -> rule7)) -> rule8) ((((triple16) -> rule9)) -> rule6)) -> rule1) OR ((((((((triple16) -> rule9) ((((triple16) -> rule5)) -> rule6)) -> rule7)) -> rule8) ((((triple16) -> rule5)) -> rule6)) -> rule1) OR ((((((((triple16) -> rule9) ((((triple16) -> rule5)) -> rule6)) -> rule7)) -> rule8) ((((triple16) -> rule9)) -> rule6)) -> rule1) OR ((((((((triple16) -> rule9) ((((triple16) -> rule9)) -> rule6)) -> rule7)) -> rule8) ((((triple16) -> rule5)) -> rule6)) -> rule1) OR ((((((((triple16) -> rule9) ((((triple16) -> rule9)) -> rule6)) -> rule7)) -> rule8) ((((triple16) -> rule9)) -> rule6)) -> rule1))]