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