Anne is big. Anne is kind. Anne is nice. Anne is round. Dave is big. Dave is green. Dave is round. Fiona is big. Fiona is green. Fiona is kind. Fiona is nice. Fiona is round. Gary is big. Gary is nice. Gary is quiet. Gary is rough. If someone is kind and round then they are big. All round, kind people are rough. If someone is big then they are nice. Nice people are big. Kind people are nice. If someone is big then they are round. Green, nice people are kind. If someone is nice then they are kind.
Anne is quiet.
@0: Anne is big.[(triple1 OR ((triple3) -> rule4) OR ((triple2 triple4) -> rule1) OR ((((triple2) -> rule5)) -> rule4) OR ((((triple3) -> rule8) triple4) -> rule1))] Anne is kind.[(triple2 OR ((triple3) -> rule8) OR ((((triple1) -> rule3)) -> rule8))] Anne is nice.[(triple3 OR ((triple1) -> rule3) OR ((triple2) -> rule5) OR ((((triple2 triple4) -> rule1)) -> rule3))] Anne is round.[(triple4 OR ((triple1) -> rule6) OR ((((triple3) -> rule4)) -> rule6) OR ((((((triple2) -> rule5)) -> rule4)) -> rule6))] Dave is big.[(triple5)] Dave is green.[(triple6)] Dave is round.[(triple7 OR ((triple5) -> rule6))] Fiona is big.[(triple8 OR ((triple11) -> rule4) OR ((triple10 triple12) -> rule1) OR ((((triple10) -> rule5)) -> rule4) OR ((((triple11) -> rule8) triple12) -> rule1) OR ((((triple9 triple11) -> rule7) triple12) -> rule1))] Fiona is green.[(triple9)] Fiona is kind.[(triple10 OR ((triple11) -> rule8) OR ((triple9 triple11) -> rule7) OR ((((triple8) -> rule3)) -> rule8) OR ((triple9 ((triple8) -> rule3)) -> rule7))] Fiona is nice.[(triple11 OR ((triple10) -> rule5) OR ((triple8) -> rule3) OR ((((triple10 triple12) -> rule1)) -> rule3))] Fiona is round.[(triple12 OR ((triple8) -> rule6) OR ((((triple11) -> rule4)) -> rule6) OR ((((((triple10) -> rule5)) -> rule4)) -> rule6))] Gary is big.[(triple13 OR ((triple14) -> rule4))] Gary is nice.[(triple14 OR ((triple13) -> rule3))] Gary is quiet.[(triple15)] Gary is rough.[(triple16 OR ((((triple13) -> rule6) ((triple14) -> rule8)) -> rule2) OR ((((triple13) -> rule6) ((((triple13) -> rule3)) -> rule8)) -> rule2) OR ((((((triple14) -> rule4)) -> rule6) ((triple14) -> rule8)) -> rule2) OR ((((((triple14) -> rule4)) -> rule6) ((((triple13) -> rule3)) -> rule8)) -> rule2))] @1: Anne is rough.[(((triple4 triple2) -> rule2) OR ((triple4 ((triple3) -> rule8)) -> rule2) OR ((((triple1) -> rule6) triple2) -> rule2) OR ((((triple1) -> rule6) ((triple3) -> rule8)) -> rule2) OR ((triple4 ((((triple1) -> rule3)) -> rule8)) -> rule2) OR ((((((triple3) -> rule4)) -> rule6) triple2) -> rule2) OR ((((triple1) -> rule6) ((((triple1) -> rule3)) -> rule8)) -> rule2) OR ((((((triple3) -> rule4)) -> rule6) ((triple3) -> rule8)) -> rule2) OR ((((((triple3) -> rule4)) -> rule6) ((((triple1) -> rule3)) -> rule8)) -> rule2) OR ((((((((triple2) -> rule5)) -> rule4)) -> rule6) triple2) -> rule2) OR ((((((((triple2) -> rule5)) -> rule4)) -> rule6) ((triple3) -> rule8)) -> rule2) OR ((((((((triple2) -> rule5)) -> rule4)) -> rule6) ((((triple1) -> rule3)) -> rule8)) -> rule2))] Dave is nice.[(((triple5) -> rule3))] Fiona is rough.[(((triple12 triple10) -> rule2) OR ((triple12 ((triple11) -> rule8)) -> rule2) OR ((triple12 ((triple9 triple11) -> rule7)) -> rule2) OR ((((triple8) -> rule6) triple10) -> rule2) OR ((((triple8) -> rule6) ((triple11) -> rule8)) -> rule2) OR ((((triple8) -> rule6) ((triple9 triple11) -> rule7)) -> rule2) OR ((triple12 ((((triple8) -> rule3)) -> rule8)) -> rule2) OR ((triple12 ((triple9 ((triple8) -> rule3)) -> rule7)) -> rule2) OR ((((((triple11) -> rule4)) -> rule6) triple10) -> rule2) OR ((((triple8) -> rule6) ((((triple8) -> rule3)) -> rule8)) -> rule2) OR ((((triple8) -> rule6) ((triple9 ((triple8) -> rule3)) -> rule7)) -> rule2) OR ((((((triple11) -> rule4)) -> rule6) ((triple11) -> rule8)) -> rule2) OR ((((((triple11) -> rule4)) -> rule6) ((triple9 triple11) -> rule7)) -> rule2) OR ((((((triple11) -> rule4)) -> rule6) ((((triple8) -> rule3)) -> rule8)) -> rule2) OR ((((((triple11) -> rule4)) -> rule6) ((triple9 ((triple8) -> rule3)) -> rule7)) -> rule2) OR ((((((((triple10) -> rule5)) -> rule4)) -> rule6) triple10) -> rule2) OR ((((((((triple10) -> rule5)) -> rule4)) -> rule6) ((triple11) -> rule8)) -> rule2) OR ((((((((triple10) -> rule5)) -> rule4)) -> rule6) ((triple9 triple11) -> rule7)) -> rule2) OR ((((((((triple10) -> rule5)) -> rule4)) -> rule6) ((((triple8) -> rule3)) -> rule8)) -> rule2) OR ((((((((triple10) -> rule5)) -> rule4)) -> rule6) ((triple9 ((triple8) -> rule3)) -> rule7)) -> rule2))] Gary is kind.[(((triple14) -> rule8) OR ((((triple13) -> rule3)) -> rule8))] Gary is round.[(((triple13) -> rule6) OR ((((triple14) -> rule4)) -> rule6))] @2: Dave is kind.[(((((triple5) -> rule3)) -> rule8) OR ((triple6 ((triple5) -> rule3)) -> rule7))] @3: Dave is rough.[(((triple7 ((((triple5) -> rule3)) -> rule8)) -> rule2) OR ((triple7 ((triple6 ((triple5) -> rule3)) -> rule7)) -> rule2) OR ((((triple5) -> rule6) ((((triple5) -> rule3)) -> rule8)) -> rule2) OR ((((triple5) -> rule6) ((triple6 ((triple5) -> rule3)) -> rule7)) -> rule2))]