Charlie is nice. Charlie is red. Dave is cold. Dave is nice. Dave is quiet. Dave is red. Dave is white. Gary is blue. Gary is green. Gary is nice. Gary is quiet. Harry is blue. Harry is quiet. Harry is red. Harry is white. Cold, red people are quiet. If Gary is nice and Gary is red then Gary is quiet. If someone is red then they are green. Cold, white people are nice. All quiet people are nice. Red, green people are cold. Red, green people are white. White people are quiet.
Harry is not nice.
@0: Charlie is nice.[(triple1 OR ((((triple2 ((triple2) -> rule3)) -> rule6) ((triple2 ((triple2) -> rule3)) -> rule7)) -> rule4) OR ((((((triple2 ((triple2) -> rule3)) -> rule7)) -> rule8)) -> rule5) OR ((((((triple2 ((triple2) -> rule3)) -> rule6) triple2) -> rule1)) -> rule5))] Charlie is red.[(triple2)] Dave is cold.[(triple3 OR ((triple6 ((triple6) -> rule3)) -> rule6))] Dave is nice.[(triple4 OR ((triple5) -> rule5) OR ((triple3 triple7) -> rule4) OR ((((triple7) -> rule8)) -> rule5) OR ((((triple3 triple6) -> rule1)) -> rule5) OR ((triple3 ((triple6 ((triple6) -> rule3)) -> rule7)) -> rule4) OR ((((triple6 ((triple6) -> rule3)) -> rule6) triple7) -> rule4) OR ((((triple6 ((triple6) -> rule3)) -> rule6) ((triple6 ((triple6) -> rule3)) -> rule7)) -> rule4) OR ((((((triple6 ((triple6) -> rule3)) -> rule7)) -> rule8)) -> rule5) OR ((((((triple6 ((triple6) -> rule3)) -> rule6) triple6) -> rule1)) -> rule5))] Dave is quiet.[(triple5 OR ((triple7) -> rule8) OR ((triple3 triple6) -> rule1) OR ((((triple6 ((triple6) -> rule3)) -> rule7)) -> rule8) OR ((((triple6 ((triple6) -> rule3)) -> rule6) triple6) -> rule1))] Dave is red.[(triple6)] Dave is white.[(triple7 OR ((triple6 ((triple6) -> rule3)) -> rule7))] Gary is blue.[(triple8)] Gary is green.[(triple9)] Gary is nice.[(triple10 OR ((triple11) -> rule5))] Gary is quiet.[(triple11)] Harry is blue.[(triple12)] Harry is quiet.[(triple13 OR ((triple15) -> rule8) OR ((((triple14 ((triple14) -> rule3)) -> rule7)) -> rule8) OR ((((triple14 ((triple14) -> rule3)) -> rule6) triple14) -> rule1))] Harry is red.[(triple14)] Harry is white.[(triple15 OR ((triple14 ((triple14) -> rule3)) -> rule7))] @1: Charlie is green.[(((triple2) -> rule3))] Dave is green.[(((triple6) -> rule3))] Harry is green.[(((triple14) -> rule3))] Harry is nice.[(((triple13) -> rule5) OR ((((triple15) -> rule8)) -> rule5) OR ((((triple14 ((triple14) -> rule3)) -> rule6) triple15) -> rule4) OR ((((triple14 ((triple14) -> rule3)) -> rule6) ((triple14 ((triple14) -> rule3)) -> rule7)) -> rule4) OR ((((((triple14 ((triple14) -> rule3)) -> rule7)) -> rule8)) -> rule5) OR ((((((triple14 ((triple14) -> rule3)) -> rule6) triple14) -> rule1)) -> rule5))] @2: Charlie is cold.[(((triple2 ((triple2) -> rule3)) -> rule6))] Charlie is white.[(((triple2 ((triple2) -> rule3)) -> rule7))] Harry is cold.[(((triple14 ((triple14) -> rule3)) -> rule6))] @3: Charlie is quiet.[(((((triple2 ((triple2) -> rule3)) -> rule7)) -> rule8) OR ((((triple2 ((triple2) -> rule3)) -> rule6) triple2) -> rule1))]