Dave is blue. Dave is cold. Dave is kind. Dave is rough. Dave is round. Erin is cold. Erin is kind. Erin is red. Erin is rough. Harry is blue. Harry is cold. Harry is kind. Harry is nice. Harry is red. Harry is rough. Harry is round. Rough things are blue. Nice things are round. Rough things are kind. Rough things are red. Blue, kind things are nice. Kind, blue things are cold. If something is round then it is red. Blue, nice things are red.
Dave is not nice.
@0: Dave is blue.[(triple1 OR ((triple4) -> rule1))] Dave is cold.[(triple2 OR ((triple3 triple1) -> rule6) OR ((triple3 ((triple4) -> rule1)) -> rule6) OR ((((triple4) -> rule3) triple1) -> rule6) OR ((((triple4) -> rule3) ((triple4) -> rule1)) -> rule6))] Dave is kind.[(triple3 OR ((triple4) -> rule3))] Dave is rough.[(triple4)] Dave is round.[(triple5 OR ((((triple1 triple3) -> rule5)) -> rule2) OR ((((triple1 ((triple4) -> rule3)) -> rule5)) -> rule2) OR ((((((triple4) -> rule1) triple3) -> rule5)) -> rule2) OR ((((((triple4) -> rule1) ((triple4) -> rule3)) -> rule5)) -> rule2))] Erin is cold.[(triple6 OR ((triple7 ((triple9) -> rule1)) -> rule6) OR ((((triple9) -> rule3) ((triple9) -> rule1)) -> rule6))] Erin is kind.[(triple7 OR ((triple9) -> rule3))] Erin is red.[(triple8 OR ((triple9) -> rule4) OR ((((triple9) -> rule1) ((((triple9) -> rule1) triple7) -> rule5)) -> rule8) OR ((((triple9) -> rule1) ((((triple9) -> rule1) ((triple9) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple9) -> rule1) triple7) -> rule5)) -> rule2)) -> rule7) OR ((((((((triple9) -> rule1) ((triple9) -> rule3)) -> rule5)) -> rule2)) -> rule7))] Erin is rough.[(triple9)] Harry is blue.[(triple10 OR ((triple15) -> rule1))] Harry is cold.[(triple11 OR ((triple12 triple10) -> rule6) OR ((triple12 ((triple15) -> rule1)) -> rule6) OR ((((triple15) -> rule3) triple10) -> rule6) OR ((((triple15) -> rule3) ((triple15) -> rule1)) -> rule6))] Harry is kind.[(triple12 OR ((triple15) -> rule3))] Harry is nice.[(triple13 OR ((triple10 triple12) -> rule5) OR ((triple10 ((triple15) -> rule3)) -> rule5) OR ((((triple15) -> rule1) triple12) -> rule5) OR ((((triple15) -> rule1) ((triple15) -> rule3)) -> rule5))] Harry is red.[(triple14 OR ((triple15) -> rule4) OR ((triple16) -> rule7) OR ((triple10 triple13) -> rule8) OR ((((triple13) -> rule2)) -> rule7) OR ((triple10 ((triple10 triple12) -> rule5)) -> rule8) OR ((((triple15) -> rule1) triple13) -> rule8) OR ((((triple15) -> rule1) ((triple10 triple12) -> rule5)) -> rule8) OR ((((((triple10 triple12) -> rule5)) -> rule2)) -> rule7) OR ((triple10 ((triple10 ((triple15) -> rule3)) -> rule5)) -> rule8) OR ((triple10 ((((triple15) -> rule1) triple12) -> rule5)) -> rule8) OR ((triple10 ((((triple15) -> rule1) ((triple15) -> rule3)) -> rule5)) -> rule8) OR ((((triple15) -> rule1) ((triple10 ((triple15) -> rule3)) -> rule5)) -> rule8) OR ((((triple15) -> rule1) ((((triple15) -> rule1) triple12) -> rule5)) -> rule8) OR ((((triple15) -> rule1) ((((triple15) -> rule1) ((triple15) -> rule3)) -> rule5)) -> rule8) OR ((((((triple10 ((triple15) -> rule3)) -> rule5)) -> rule2)) -> rule7) OR ((((((((triple15) -> rule1) triple12) -> rule5)) -> rule2)) -> rule7) OR ((((((((triple15) -> rule1) ((triple15) -> rule3)) -> rule5)) -> rule2)) -> rule7))] Harry is rough.[(triple15)] Harry is round.[(triple16 OR ((triple13) -> rule2) OR ((((triple10 triple12) -> rule5)) -> rule2) OR ((((triple10 ((triple15) -> rule3)) -> rule5)) -> rule2) OR ((((((triple15) -> rule1) triple12) -> rule5)) -> rule2) OR ((((((triple15) -> rule1) ((triple15) -> rule3)) -> rule5)) -> rule2))] @1: Dave is nice.[(((triple1 triple3) -> rule5) OR ((triple1 ((triple4) -> rule3)) -> rule5) OR ((((triple4) -> rule1) triple3) -> rule5) OR ((((triple4) -> rule1) ((triple4) -> rule3)) -> rule5))] Dave is red.[(((triple4) -> rule4) OR ((triple5) -> rule7) OR ((triple1 ((triple1 triple3) -> rule5)) -> rule8) OR ((((triple4) -> rule1) ((triple1 triple3) -> rule5)) -> rule8) OR ((((((triple1 triple3) -> rule5)) -> rule2)) -> rule7) OR ((triple1 ((triple1 ((triple4) -> rule3)) -> rule5)) -> rule8) OR ((triple1 ((((triple4) -> rule1) triple3) -> rule5)) -> rule8) OR ((triple1 ((((triple4) -> rule1) ((triple4) -> rule3)) -> rule5)) -> rule8) OR ((((triple4) -> rule1) ((triple1 ((triple4) -> rule3)) -> rule5)) -> rule8) OR ((((triple4) -> rule1) ((((triple4) -> rule1) triple3) -> rule5)) -> rule8) OR ((((triple4) -> rule1) ((((triple4) -> rule1) ((triple4) -> rule3)) -> rule5)) -> rule8) OR ((((((triple1 ((triple4) -> rule3)) -> rule5)) -> rule2)) -> rule7) OR ((((((((triple4) -> rule1) triple3) -> rule5)) -> rule2)) -> rule7) OR ((((((((triple4) -> rule1) ((triple4) -> rule3)) -> rule5)) -> rule2)) -> rule7))] Erin is blue.[(((triple9) -> rule1))] @2: Erin is nice.[(((((triple9) -> rule1) triple7) -> rule5) OR ((((triple9) -> rule1) ((triple9) -> rule3)) -> rule5))] @3: Erin is round.[(((((((triple9) -> rule1) triple7) -> rule5)) -> rule2) OR ((((((triple9) -> rule1) ((triple9) -> rule3)) -> rule5)) -> rule2))]