Anne is kind. Anne is quiet. Bob is blue. Bob is kind. Bob is round. Bob is white. Gary is big. Gary is white. Harry is kind. Harry is quiet. Harry is white. Harry is young. If someone is blue and white then they are young. Blue, big people are young. Blue, white people are round. White people are big. White, big people are blue. Round people are young. If someone is young then they are white. Kind people are round. All big, blue people are young.
Harry is big.
@0: Anne is kind.[(triple1)] Anne is quiet.[(triple2)] Bob is blue.[(triple3 OR ((triple6 ((triple6) -> rule4)) -> rule5) OR ((((((triple5) -> rule6)) -> rule7) ((triple6) -> rule4)) -> rule5) OR ((triple6 ((((((triple5) -> rule6)) -> rule7)) -> rule4)) -> rule5) OR ((((((((triple4) -> rule8)) -> rule6)) -> rule7) ((triple6) -> rule4)) -> rule5) OR ((((((triple5) -> rule6)) -> rule7) ((((((triple5) -> rule6)) -> rule7)) -> rule4)) -> rule5) OR ((((((((triple4) -> rule8)) -> rule6)) -> rule7) ((((((triple5) -> rule6)) -> rule7)) -> rule4)) -> rule5) OR ((triple6 ((((((((triple4) -> rule8)) -> rule6)) -> rule7)) -> rule4)) -> rule5) OR ((((((triple5) -> rule6)) -> rule7) ((((((((triple4) -> rule8)) -> rule6)) -> rule7)) -> rule4)) -> rule5) OR ((((((((triple4) -> rule8)) -> rule6)) -> rule7) ((((((((triple4) -> rule8)) -> rule6)) -> rule7)) -> rule4)) -> rule5))] Bob is kind.[(triple4)] Bob is round.[(triple5 OR ((triple4) -> rule8) OR ((triple3 triple6) -> rule3) OR ((((triple6 ((triple6) -> rule4)) -> rule5) triple6) -> rule3))] Bob is white.[(triple6 OR ((((triple5) -> rule6)) -> rule7) OR ((((((triple4) -> rule8)) -> rule6)) -> rule7))] Gary is big.[(triple7 OR ((triple8) -> rule4))] Gary is white.[(triple8)] Harry is kind.[(triple9)] Harry is quiet.[(triple10)] Harry is white.[(triple11 OR ((triple12) -> rule7) OR ((((((triple9) -> rule8)) -> rule6)) -> rule7))] Harry is young.[(triple12 OR ((((triple9) -> rule8)) -> rule6) OR ((((triple11 ((triple11) -> rule4)) -> rule5) triple11) -> rule1) OR ((((triple11) -> rule4) ((triple11 ((triple11) -> rule4)) -> rule5)) -> rule9) OR ((((triple11 ((triple11) -> rule4)) -> rule5) ((triple11) -> rule4)) -> rule2) OR ((((((triple11 ((triple11) -> rule4)) -> rule5) triple11) -> rule3)) -> rule6))] @1: Anne is round.[(((triple1) -> rule8))] Bob is big.[(((triple6) -> rule4) OR ((((((triple5) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple4) -> rule8)) -> rule6)) -> rule7)) -> rule4))] Bob is young.[(((triple5) -> rule6) OR ((triple3 triple6) -> rule1) OR ((((triple4) -> rule8)) -> rule6) OR ((((triple3 triple6) -> rule3)) -> rule6) OR ((triple3 ((triple6) -> rule4)) -> rule2) OR ((((triple6) -> rule4) triple3) -> rule9) OR ((((triple6 ((triple6) -> rule4)) -> rule5) triple6) -> rule1) OR ((((triple6) -> rule4) ((triple6 ((triple6) -> rule4)) -> rule5)) -> rule9) OR ((((triple6 ((triple6) -> rule4)) -> rule5) ((triple6) -> rule4)) -> rule2) OR ((((((triple6 ((triple6) -> rule4)) -> rule5) triple6) -> rule3)) -> rule6))] Gary is blue.[(((triple8 triple7) -> rule5) OR ((triple8 ((triple8) -> rule4)) -> rule5))] Harry is big.[(((triple11) -> rule4) OR ((((triple12) -> rule7)) -> rule4) OR ((((((((triple9) -> rule8)) -> rule6)) -> rule7)) -> rule4))] Harry is round.[(((triple9) -> rule8) OR ((((triple11 ((triple11) -> rule4)) -> rule5) triple11) -> rule3) OR ((((triple11 ((triple11) -> rule4)) -> rule5) ((triple12) -> rule7)) -> rule3) OR ((((((triple12) -> rule7) ((triple11) -> rule4)) -> rule5) triple11) -> rule3) OR ((((((triple12) -> rule7) ((triple11) -> rule4)) -> rule5) ((triple12) -> rule7)) -> rule3) OR ((((triple11 ((((triple12) -> rule7)) -> rule4)) -> rule5) triple11) -> rule3) OR ((((triple11 ((((triple12) -> rule7)) -> rule4)) -> rule5) ((triple12) -> rule7)) -> rule3) OR ((((((triple12) -> rule7) ((((triple12) -> rule7)) -> rule4)) -> rule5) triple11) -> rule3) OR ((((((triple12) -> rule7) ((((triple12) -> rule7)) -> rule4)) -> rule5) ((triple12) -> rule7)) -> rule3))] @2: Anne is young.[(((((triple1) -> rule8)) -> rule6))] Gary is round.[(((((triple8 triple7) -> rule5) triple8) -> rule3) OR ((((triple8 ((triple8) -> rule4)) -> rule5) triple8) -> rule3))] Gary is young.[(((triple7 ((triple8 triple7) -> rule5)) -> rule9) OR ((((triple8 triple7) -> rule5) triple7) -> rule2) OR ((((triple8 triple7) -> rule5) triple8) -> rule1) OR ((((triple8) -> rule4) ((triple8 triple7) -> rule5)) -> rule9) OR ((((triple8 triple7) -> rule5) ((triple8) -> rule4)) -> rule2) OR ((((((triple8 triple7) -> rule5) triple8) -> rule3)) -> rule6) OR ((triple7 ((triple8 ((triple8) -> rule4)) -> rule5)) -> rule9) OR ((((triple8 ((triple8) -> rule4)) -> rule5) triple7) -> rule2) OR ((((triple8 ((triple8) -> rule4)) -> rule5) triple8) -> rule1) OR ((((triple8) -> rule4) ((triple8 ((triple8) -> rule4)) -> rule5)) -> rule9) OR ((((triple8 ((triple8) -> rule4)) -> rule5) ((triple8) -> rule4)) -> rule2) OR ((((((triple8 ((triple8) -> rule4)) -> rule5) triple8) -> rule3)) -> rule6))] Harry is blue.[(((triple11 ((triple11) -> rule4)) -> rule5) OR ((((triple12) -> rule7) ((triple11) -> rule4)) -> rule5) OR ((triple11 ((((triple12) -> rule7)) -> rule4)) -> rule5) OR ((((triple12) -> rule7) ((((triple12) -> rule7)) -> rule4)) -> rule5) OR ((((((((triple9) -> rule8)) -> rule6)) -> rule7) ((triple11) -> rule4)) -> rule5) OR ((((((((triple9) -> rule8)) -> rule6)) -> rule7) ((((triple12) -> rule7)) -> rule4)) -> rule5) OR ((triple11 ((((((((triple9) -> rule8)) -> rule6)) -> rule7)) -> rule4)) -> rule5) OR ((((triple12) -> rule7) ((((((((triple9) -> rule8)) -> rule6)) -> rule7)) -> rule4)) -> rule5) OR ((((((((triple9) -> rule8)) -> rule6)) -> rule7) ((((((((triple9) -> rule8)) -> rule6)) -> rule7)) -> rule4)) -> rule5))] @3: Anne is white.[(((((((triple1) -> rule8)) -> rule6)) -> rule7))] @4: Anne is big.[(((((((((triple1) -> rule8)) -> rule6)) -> rule7)) -> rule4))] @5: Anne is blue.[(((((((((triple1) -> rule8)) -> rule6)) -> rule7) ((((((((triple1) -> rule8)) -> rule6)) -> rule7)) -> rule4)) -> rule5))]