Anne is big. Anne is blue. Anne is furry. Anne is nice. Anne is quiet. Anne is rough. Anne is round. Charlie is blue. Charlie is not quiet. Charlie is round. Dave is furry. Dave is quiet. Gary is rough. Gary is round. All round things are rough. All round things are rough. If Dave is round then Dave is blue. If Dave is blue and Dave is round then Dave is furry. If something is blue then it is nice. Big things are nice. If something is nice and rough then it is big. Nice things are round. Quiet things are blue.
Gary is nice.
@0: Anne is big.[(triple1 OR ((triple4 triple6) -> rule7) OR ((triple4 ((triple7) -> rule1)) -> rule7) OR ((triple4 ((triple7) -> rule2)) -> rule7) OR ((((triple2) -> rule5) triple6) -> rule7) OR ((((triple2) -> rule5) ((triple7) -> rule1)) -> rule7) OR ((((triple2) -> rule5) ((triple7) -> rule2)) -> rule7) OR ((triple4 ((((triple4) -> rule8)) -> rule1)) -> rule7) OR ((triple4 ((((triple4) -> rule8)) -> rule2)) -> rule7) OR ((((((triple5) -> rule9)) -> rule5) triple6) -> rule7) OR ((((triple2) -> rule5) ((((triple4) -> rule8)) -> rule1)) -> rule7) OR ((((triple2) -> rule5) ((((triple4) -> rule8)) -> rule2)) -> rule7) OR ((((((triple5) -> rule9)) -> rule5) ((triple7) -> rule1)) -> rule7) OR ((((((triple5) -> rule9)) -> rule5) ((triple7) -> rule2)) -> rule7) OR ((((((triple5) -> rule9)) -> rule5) ((((triple4) -> rule8)) -> rule1)) -> rule7) OR ((((((triple5) -> rule9)) -> rule5) ((((triple4) -> rule8)) -> rule2)) -> rule7) OR ((triple4 ((((((triple2) -> rule5)) -> rule8)) -> rule1)) -> rule7) OR ((triple4 ((((((triple2) -> rule5)) -> rule8)) -> rule2)) -> rule7) OR ((((triple2) -> rule5) ((((((triple2) -> rule5)) -> rule8)) -> rule1)) -> rule7) OR ((((triple2) -> rule5) ((((((triple2) -> rule5)) -> rule8)) -> rule2)) -> rule7) OR ((((((triple5) -> rule9)) -> rule5) ((((((triple2) -> rule5)) -> rule8)) -> rule1)) -> rule7) OR ((((((triple5) -> rule9)) -> rule5) ((((((triple2) -> rule5)) -> rule8)) -> rule2)) -> rule7) OR ((triple4 ((((((((triple5) -> rule9)) -> rule5)) -> rule8)) -> rule1)) -> rule7) OR ((triple4 ((((((((triple5) -> rule9)) -> rule5)) -> rule8)) -> rule2)) -> rule7) OR ((((triple2) -> rule5) ((((((((triple5) -> rule9)) -> rule5)) -> rule8)) -> rule1)) -> rule7) OR ((((triple2) -> rule5) ((((((((triple5) -> rule9)) -> rule5)) -> rule8)) -> rule2)) -> rule7) OR ((((((triple5) -> rule9)) -> rule5) ((((((((triple5) -> rule9)) -> rule5)) -> rule8)) -> rule1)) -> rule7) OR ((((((triple5) -> rule9)) -> rule5) ((((((((triple5) -> rule9)) -> rule5)) -> rule8)) -> rule2)) -> rule7))] Anne is blue.[(triple2 OR ((triple5) -> rule9))] Anne is furry.[(triple3)] Anne is nice.[(triple4 OR ((triple1) -> rule6) OR ((triple2) -> rule5) OR ((((triple5) -> rule9)) -> rule5))] Anne is quiet.[(triple5)] Anne is rough.[(triple6 OR ((triple7) -> rule1) OR ((triple7) -> rule2) OR ((((triple4) -> rule8)) -> rule1) OR ((((triple4) -> rule8)) -> rule2) OR ((((((triple1) -> rule6)) -> rule8)) -> rule1) OR ((((((triple1) -> rule6)) -> rule8)) -> rule2) OR ((((((triple2) -> rule5)) -> rule8)) -> rule1) OR ((((((triple2) -> rule5)) -> rule8)) -> rule2) OR ((((((((triple5) -> rule9)) -> rule5)) -> rule8)) -> rule1) OR ((((((((triple5) -> rule9)) -> rule5)) -> rule8)) -> rule2))] Anne is round.[(triple7 OR ((triple4) -> rule8) OR ((((triple1) -> rule6)) -> rule8) OR ((((triple2) -> rule5)) -> rule8) OR ((((((triple5) -> rule9)) -> rule5)) -> rule8))] Charlie is blue.[(triple8)] Charlie is not quiet.[(triple9)] Charlie is round.[(triple10 OR ((((triple8) -> rule5)) -> rule8))] Dave is furry.[(triple11 OR ((((triple12) -> rule9) ((((((triple12) -> rule9)) -> rule5)) -> rule8)) -> rule4))] Dave is quiet.[(triple12)] Gary is rough.[(triple13 OR ((triple14) -> rule1) OR ((triple14) -> rule2))] Gary is round.[(triple14)] @1: Charlie is nice.[(((triple8) -> rule5))] Charlie is rough.[(((triple10) -> rule1) OR ((triple10) -> rule2) OR ((((((triple8) -> rule5)) -> rule8)) -> rule1) OR ((((((triple8) -> rule5)) -> rule8)) -> rule2))] Dave is blue.[(((triple12) -> rule9))] @2: Charlie is big.[(((((triple8) -> rule5) ((triple10) -> rule1)) -> rule7) OR ((((triple8) -> rule5) ((triple10) -> rule2)) -> rule7) OR ((((triple8) -> rule5) ((((((triple8) -> rule5)) -> rule8)) -> rule1)) -> rule7) OR ((((triple8) -> rule5) ((((((triple8) -> rule5)) -> rule8)) -> rule2)) -> rule7))] Dave is nice.[(((((triple12) -> rule9)) -> rule5))] @3: Dave is round.[(((((((triple12) -> rule9)) -> rule5)) -> rule8))] @4: Dave is rough.[(((((((((triple12) -> rule9)) -> rule5)) -> rule8)) -> rule1) OR ((((((((triple12) -> rule9)) -> rule5)) -> rule8)) -> rule2))] @5: Dave is big.[(((((((triple12) -> rule9)) -> rule5) ((((((((triple12) -> rule9)) -> rule5)) -> rule8)) -> rule1)) -> rule7) OR ((((((triple12) -> rule9)) -> rule5) ((((((((triple12) -> rule9)) -> rule5)) -> rule8)) -> rule2)) -> rule7))]