Bob is blue. Bob is cold. Bob is kind. Bob is quiet. Bob is red. Bob is round. Bob is young. Erin is kind. Erin is quiet. Harry is blue. Harry is cold. Harry is kind. Harry is quiet. Harry is red. Harry is round. Harry is young. If someone is cold and young then they are round. All cold, round people are kind. If someone is young then they are round. Quiet, cold people are young. Kind, blue people are cold. All blue, cold people are quiet.
Bob is quiet.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2 OR ((triple3 triple1) -> rule5))] Bob is kind.[(triple3 OR ((triple2 triple6) -> rule2) OR ((triple2 ((triple7) -> rule3)) -> rule2) OR ((triple2 ((triple2 triple7) -> rule1)) -> rule2) OR ((triple2 ((((triple4 triple2) -> rule4)) -> rule3)) -> rule2) OR ((triple2 ((triple2 ((triple4 triple2) -> rule4)) -> rule1)) -> rule2) OR ((triple2 ((((((triple1 triple2) -> rule6) triple2) -> rule4)) -> rule3)) -> rule2) OR ((triple2 ((triple2 ((((triple1 triple2) -> rule6) triple2) -> rule4)) -> rule1)) -> rule2))] Bob is quiet.[(triple4 OR ((triple1 triple2) -> rule6) OR ((triple1 ((triple3 triple1) -> rule5)) -> rule6))] Bob is red.[(triple5)] Bob is round.[(triple6 OR ((triple7) -> rule3) OR ((triple2 triple7) -> rule1) OR ((((triple4 triple2) -> rule4)) -> rule3) OR ((triple2 ((triple4 triple2) -> rule4)) -> rule1) OR ((((triple3 triple1) -> rule5) triple7) -> rule1) OR ((((triple3 triple1) -> rule5) ((triple4 triple2) -> rule4)) -> rule1) OR ((((triple4 ((triple3 triple1) -> rule5)) -> rule4)) -> rule3) OR ((((((triple1 triple2) -> rule6) triple2) -> rule4)) -> rule3) OR ((triple2 ((triple4 ((triple3 triple1) -> rule5)) -> rule4)) -> rule1) OR ((triple2 ((((triple1 triple2) -> rule6) triple2) -> rule4)) -> rule1) OR ((((((triple1 triple2) -> rule6) ((triple3 triple1) -> rule5)) -> rule4)) -> rule3) OR ((triple2 ((((triple1 triple2) -> rule6) ((triple3 triple1) -> rule5)) -> rule4)) -> rule1) OR ((((triple3 triple1) -> rule5) ((triple4 ((triple3 triple1) -> rule5)) -> rule4)) -> rule1) OR ((((triple3 triple1) -> rule5) ((((triple1 triple2) -> rule6) triple2) -> rule4)) -> rule1) OR ((((triple3 triple1) -> rule5) ((((triple1 triple2) -> rule6) ((triple3 triple1) -> rule5)) -> rule4)) -> rule1) OR ((((((triple1 ((triple3 triple1) -> rule5)) -> rule6) triple2) -> rule4)) -> rule3) OR ((triple2 ((((triple1 ((triple3 triple1) -> rule5)) -> rule6) triple2) -> rule4)) -> rule1) OR ((((((triple1 ((triple3 triple1) -> rule5)) -> rule6) ((triple3 triple1) -> rule5)) -> rule4)) -> rule3) OR ((triple2 ((((triple1 ((triple3 triple1) -> rule5)) -> rule6) ((triple3 triple1) -> rule5)) -> rule4)) -> rule1) OR ((((triple3 triple1) -> rule5) ((((triple1 ((triple3 triple1) -> rule5)) -> rule6) triple2) -> rule4)) -> rule1) OR ((((triple3 triple1) -> rule5) ((((triple1 ((triple3 triple1) -> rule5)) -> rule6) ((triple3 triple1) -> rule5)) -> rule4)) -> rule1))] Bob is young.[(triple7 OR ((triple4 triple2) -> rule4) OR ((triple4 ((triple3 triple1) -> rule5)) -> rule4) OR ((((triple1 triple2) -> rule6) triple2) -> rule4) OR ((((triple1 triple2) -> rule6) ((triple3 triple1) -> rule5)) -> rule4) OR ((((triple1 ((triple3 triple1) -> rule5)) -> rule6) triple2) -> rule4) OR ((((triple1 ((triple3 triple1) -> rule5)) -> rule6) ((triple3 triple1) -> rule5)) -> rule4))] Erin is kind.[(triple8)] Erin is quiet.[(triple9)] Harry is blue.[(triple10)] Harry is cold.[(triple11 OR ((triple12 triple10) -> rule5))] Harry is kind.[(triple12 OR ((triple11 triple15) -> rule2) OR ((triple11 ((triple16) -> rule3)) -> rule2) OR ((triple11 ((triple11 triple16) -> rule1)) -> rule2) OR ((triple11 ((((triple13 triple11) -> rule4)) -> rule3)) -> rule2) OR ((triple11 ((triple11 ((triple13 triple11) -> rule4)) -> rule1)) -> rule2) OR ((triple11 ((((((triple10 triple11) -> rule6) triple11) -> rule4)) -> rule3)) -> rule2) OR ((triple11 ((triple11 ((((triple10 triple11) -> rule6) triple11) -> rule4)) -> rule1)) -> rule2))] Harry is quiet.[(triple13 OR ((triple10 triple11) -> rule6) OR ((triple10 ((triple12 triple10) -> rule5)) -> rule6))] Harry is red.[(triple14)] Harry is round.[(triple15 OR ((triple16) -> rule3) OR ((triple11 triple16) -> rule1) OR ((((triple13 triple11) -> rule4)) -> rule3) OR ((triple11 ((triple13 triple11) -> rule4)) -> rule1) OR ((((triple12 triple10) -> rule5) triple16) -> rule1) OR ((((triple12 triple10) -> rule5) ((triple13 triple11) -> rule4)) -> rule1) OR ((((triple13 ((triple12 triple10) -> rule5)) -> rule4)) -> rule3) OR ((((((triple10 triple11) -> rule6) triple11) -> rule4)) -> rule3) OR ((triple11 ((triple13 ((triple12 triple10) -> rule5)) -> rule4)) -> rule1) OR ((triple11 ((((triple10 triple11) -> rule6) triple11) -> rule4)) -> rule1) OR ((((((triple10 triple11) -> rule6) ((triple12 triple10) -> rule5)) -> rule4)) -> rule3) OR ((triple11 ((((triple10 triple11) -> rule6) ((triple12 triple10) -> rule5)) -> rule4)) -> rule1) OR ((((triple12 triple10) -> rule5) ((triple13 ((triple12 triple10) -> rule5)) -> rule4)) -> rule1) OR ((((triple12 triple10) -> rule5) ((((triple10 triple11) -> rule6) triple11) -> rule4)) -> rule1) OR ((((triple12 triple10) -> rule5) ((((triple10 triple11) -> rule6) ((triple12 triple10) -> rule5)) -> rule4)) -> rule1) OR ((((((triple10 ((triple12 triple10) -> rule5)) -> rule6) triple11) -> rule4)) -> rule3) OR ((triple11 ((((triple10 ((triple12 triple10) -> rule5)) -> rule6) triple11) -> rule4)) -> rule1) OR ((((((triple10 ((triple12 triple10) -> rule5)) -> rule6) ((triple12 triple10) -> rule5)) -> rule4)) -> rule3) OR ((triple11 ((((triple10 ((triple12 triple10) -> rule5)) -> rule6) ((triple12 triple10) -> rule5)) -> rule4)) -> rule1) OR ((((triple12 triple10) -> rule5) ((((triple10 ((triple12 triple10) -> rule5)) -> rule6) triple11) -> rule4)) -> rule1) OR ((((triple12 triple10) -> rule5) ((((triple10 ((triple12 triple10) -> rule5)) -> rule6) ((triple12 triple10) -> rule5)) -> rule4)) -> rule1))] Harry is young.[(triple16 OR ((triple13 triple11) -> rule4) OR ((triple13 ((triple12 triple10) -> rule5)) -> rule4) OR ((((triple10 triple11) -> rule6) triple11) -> rule4) OR ((((triple10 triple11) -> rule6) ((triple12 triple10) -> rule5)) -> rule4) OR ((((triple10 ((triple12 triple10) -> rule5)) -> rule6) triple11) -> rule4) OR ((((triple10 ((triple12 triple10) -> rule5)) -> rule6) ((triple12 triple10) -> rule5)) -> rule4))]