Charlie is white. Dave is blue. Dave is green. Dave is kind. Dave is nice. Dave is quiet. Dave is smart. Erin is kind. Erin is quiet. Erin is smart. Gary is blue. Gary is green. Gary is kind. Gary is nice. Gary is smart. Gary is white. Kind things are white. If something is nice and kind then it is green. All green, smart things are kind. If something is blue and quiet then it is green. If Dave is white and Dave is quiet then Dave is smart. If something is quiet and kind then it is nice. Nice, blue things are quiet. If Charlie is kind and Charlie is nice then Charlie is white.
Charlie is blue.
@0: Charlie is white.[(triple1)] Dave is blue.[(triple2)] Dave is green.[(triple3 OR ((triple2 triple6) -> rule4) OR ((triple5 triple4) -> rule2) OR ((triple2 ((triple5 triple2) -> rule7)) -> rule4) OR ((((triple6 triple4) -> rule6) triple4) -> rule2))] Dave is kind.[(triple4 OR ((triple3 triple7) -> rule3) OR ((((triple2 triple6) -> rule4) triple7) -> rule3) OR ((((triple2 ((triple5 triple2) -> rule7)) -> rule4) triple7) -> rule3))] Dave is nice.[(triple5 OR ((triple6 triple4) -> rule6) OR ((triple6 ((triple3 triple7) -> rule3)) -> rule6) OR ((triple6 ((((triple2 triple6) -> rule4) triple7) -> rule3)) -> rule6))] Dave is quiet.[(triple6 OR ((triple5 triple2) -> rule7))] Dave is smart.[(triple7 OR ((((triple4) -> rule1) triple6) -> rule5) OR ((((triple4) -> rule1) ((triple5 triple2) -> rule7)) -> rule5))] Erin is kind.[(triple8)] Erin is quiet.[(triple9)] Erin is smart.[(triple10)] Gary is blue.[(triple11)] Gary is green.[(triple12 OR ((triple14 triple13) -> rule2) OR ((triple11 ((triple14 triple11) -> rule7)) -> rule4))] Gary is kind.[(triple13 OR ((triple12 triple15) -> rule3) OR ((((triple11 ((triple14 triple11) -> rule7)) -> rule4) triple15) -> rule3))] Gary is nice.[(triple14)] Gary is smart.[(triple15)] Gary is white.[(triple16 OR ((triple13) -> rule1) OR ((((triple12 triple15) -> rule3)) -> rule1) OR ((((((triple11 ((triple14 triple11) -> rule7)) -> rule4) triple15) -> rule3)) -> rule1))] @1: Dave is white.[(((triple4) -> rule1) OR ((((triple3 triple7) -> rule3)) -> rule1) OR ((((((triple2 triple6) -> rule4) triple7) -> rule3)) -> rule1) OR ((((((triple2 ((triple5 triple2) -> rule7)) -> rule4) triple7) -> rule3)) -> rule1))] Erin is nice.[(((triple9 triple8) -> rule6))] Erin is white.[(((triple8) -> rule1))] Gary is quiet.[(((triple14 triple11) -> rule7))] @2: Erin is green.[(((((triple9 triple8) -> rule6) triple8) -> rule2))]