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