Anne is big. Anne is red. Anne is young. Erin is kind. Erin is quiet. Erin is red. Erin is young. Fiona is quiet. Fiona is young. Harry is big. Harry is kind. Harry is quiet. Harry is red. Harry is smart. Harry is white. If Erin is young then Erin is smart. Young people are big. If someone is red and smart then they are quiet. All big people are smart. Smart, big people are white. All big, red people are smart. Quiet people are young. If Erin is quiet then Erin is smart.
Erin is kind.
@0: Anne is big.[(triple1 OR ((triple3) -> rule2))] Anne is red.[(triple2)] Anne is young.[(triple3 OR ((((triple2 ((triple1) -> rule4)) -> rule3)) -> rule7) OR ((((triple2 ((triple1 triple2) -> rule6)) -> rule3)) -> rule7))] Erin is kind.[(triple4)] Erin is quiet.[(triple5 OR ((triple6 ((triple7) -> rule1)) -> rule3) OR ((triple6 ((((triple7) -> rule2)) -> rule4)) -> rule3) OR ((triple6 ((((triple7) -> rule2) triple6) -> rule6)) -> rule3))] Erin is red.[(triple6)] Erin is young.[(triple7 OR ((triple5) -> rule7))] Fiona is quiet.[(triple8)] Fiona is young.[(triple9 OR ((triple8) -> rule7))] Harry is big.[(triple10 OR ((((triple12) -> rule7)) -> rule2) OR ((((((triple13 triple14) -> rule3)) -> rule7)) -> rule2))] Harry is kind.[(triple11)] Harry is quiet.[(triple12 OR ((triple13 triple14) -> rule3) OR ((triple13 ((triple10) -> rule4)) -> rule3) OR ((triple13 ((triple10 triple13) -> rule6)) -> rule3))] Harry is red.[(triple13)] Harry is smart.[(triple14 OR ((triple10) -> rule4) OR ((triple10 triple13) -> rule6) OR ((((((triple12) -> rule7)) -> rule2)) -> rule4) OR ((((((triple12) -> rule7)) -> rule2) triple13) -> rule6))] Harry is white.[(triple15 OR ((triple14 triple10) -> rule5) OR ((((triple10) -> rule4) triple10) -> rule5) OR ((((triple10 triple13) -> rule6) triple10) -> rule5) OR ((triple14 ((((triple12) -> rule7)) -> rule2)) -> rule5) OR ((((triple10) -> rule4) ((((triple12) -> rule7)) -> rule2)) -> rule5) OR ((((triple10 triple13) -> rule6) ((((triple12) -> rule7)) -> rule2)) -> rule5) OR ((triple14 ((((((triple13 triple14) -> rule3)) -> rule7)) -> rule2)) -> rule5) OR ((((((((triple12) -> rule7)) -> rule2)) -> rule4) triple10) -> rule5) OR ((((((((triple12) -> rule7)) -> rule2) triple13) -> rule6) triple10) -> rule5) OR ((((triple10) -> rule4) ((((((triple13 triple14) -> rule3)) -> rule7)) -> rule2)) -> rule5) OR ((((triple10 triple13) -> rule6) ((((((triple13 triple14) -> rule3)) -> rule7)) -> rule2)) -> rule5) OR ((((((((triple12) -> rule7)) -> rule2)) -> rule4) ((((triple12) -> rule7)) -> rule2)) -> rule5) OR ((((((((triple12) -> rule7)) -> rule2) triple13) -> rule6) ((((triple12) -> rule7)) -> rule2)) -> rule5) OR ((((((((triple12) -> rule7)) -> rule2)) -> rule4) ((((((triple13 triple14) -> rule3)) -> rule7)) -> rule2)) -> rule5) OR ((((((((triple12) -> rule7)) -> rule2) triple13) -> rule6) ((((((triple13 triple14) -> rule3)) -> rule7)) -> rule2)) -> rule5))] @1: Anne is smart.[(((triple1) -> rule4) OR ((triple1 triple2) -> rule6) OR ((((triple3) -> rule2)) -> rule4) OR ((((triple3) -> rule2) triple2) -> rule6))] Erin is big.[(((triple7) -> rule2) OR ((((triple5) -> rule7)) -> rule2))] Erin is smart.[(((triple5) -> rule8) OR ((triple7) -> rule1) OR ((((triple5) -> rule7)) -> rule1) OR ((((triple7) -> rule2)) -> rule4) OR ((((triple7) -> rule2) triple6) -> rule6) OR ((((((triple5) -> rule7)) -> rule2)) -> rule4) OR ((((((triple5) -> rule7)) -> rule2) triple6) -> rule6))] Fiona is big.[(((triple9) -> rule2) OR ((((triple8) -> rule7)) -> rule2))] Harry is young.[(((triple12) -> rule7) OR ((((triple13 triple14) -> rule3)) -> rule7) OR ((((triple13 ((triple10) -> rule4)) -> rule3)) -> rule7) OR ((((triple13 ((triple10 triple13) -> rule6)) -> rule3)) -> rule7))] @2: Anne is quiet.[(((triple2 ((triple1) -> rule4)) -> rule3) OR ((triple2 ((triple1 triple2) -> rule6)) -> rule3) OR ((triple2 ((((triple3) -> rule2)) -> rule4)) -> rule3) OR ((triple2 ((((triple3) -> rule2) triple2) -> rule6)) -> rule3))] Anne is white.[(((((triple1) -> rule4) triple1) -> rule5) OR ((((triple1 triple2) -> rule6) triple1) -> rule5) OR ((((triple1) -> rule4) ((triple3) -> rule2)) -> rule5) OR ((((triple1 triple2) -> rule6) ((triple3) -> rule2)) -> rule5) OR ((((((triple3) -> rule2)) -> rule4) triple1) -> rule5) OR ((((((triple3) -> rule2) triple2) -> rule6) triple1) -> rule5) OR ((((((triple3) -> rule2)) -> rule4) ((triple3) -> rule2)) -> rule5) OR ((((((triple3) -> rule2) triple2) -> rule6) ((triple3) -> rule2)) -> rule5))] Erin is white.[(((((triple5) -> rule8) ((triple7) -> rule2)) -> rule5) OR ((((triple7) -> rule1) ((triple7) -> rule2)) -> rule5) OR ((((triple5) -> rule8) ((((triple5) -> rule7)) -> rule2)) -> rule5) OR ((((triple7) -> rule1) ((((triple5) -> rule7)) -> rule2)) -> rule5) OR ((((((triple5) -> rule7)) -> rule1) ((triple7) -> rule2)) -> rule5) OR ((((((triple7) -> rule2)) -> rule4) ((triple7) -> rule2)) -> rule5) OR ((((((triple7) -> rule2) triple6) -> rule6) ((triple7) -> rule2)) -> rule5) OR ((((((triple5) -> rule7)) -> rule1) ((((triple5) -> rule7)) -> rule2)) -> rule5) OR ((((((triple7) -> rule2)) -> rule4) ((((triple5) -> rule7)) -> rule2)) -> rule5) OR ((((((triple7) -> rule2) triple6) -> rule6) ((((triple5) -> rule7)) -> rule2)) -> rule5) OR ((((((((triple5) -> rule7)) -> rule2)) -> rule4) ((triple7) -> rule2)) -> rule5) OR ((((((((triple5) -> rule7)) -> rule2) triple6) -> rule6) ((triple7) -> rule2)) -> rule5) OR ((((((((triple5) -> rule7)) -> rule2)) -> rule4) ((((triple5) -> rule7)) -> rule2)) -> rule5) OR ((((((((triple5) -> rule7)) -> rule2) triple6) -> rule6) ((((triple5) -> rule7)) -> rule2)) -> rule5))] Fiona is smart.[(((((triple9) -> rule2)) -> rule4) OR ((((((triple8) -> rule7)) -> rule2)) -> rule4))] @3: Fiona is white.[(((((((triple9) -> rule2)) -> rule4) ((triple9) -> rule2)) -> rule5) OR ((((((triple9) -> rule2)) -> rule4) ((((triple8) -> rule7)) -> rule2)) -> rule5) OR ((((((((triple8) -> rule7)) -> rule2)) -> rule4) ((triple9) -> rule2)) -> rule5) OR ((((((((triple8) -> rule7)) -> rule2)) -> rule4) ((((triple8) -> rule7)) -> rule2)) -> rule5))]