Dave is blue. Dave is cold. Dave is kind. Dave is nice. Dave is quiet. Dave is white. Dave is young. Erin is kind. Erin is nice. Erin is white. Erin is young. Harry is cold. Young people are quiet. If someone is nice and young then they are blue. Cold, quiet people are blue. All young people are kind. If someone is cold then they are young. If someone is quiet then they are young.
Harry is not nice.
@0: Dave is blue.[(triple1 OR ((triple2 triple5) -> rule3) OR ((triple4 triple7) -> rule2) OR ((triple2 ((triple7) -> rule1)) -> rule3) OR ((triple4 ((triple2) -> rule5)) -> rule2) OR ((triple4 ((triple5) -> rule6)) -> rule2) OR ((triple2 ((((triple2) -> rule5)) -> rule1)) -> rule3))] Dave is cold.[(triple2)] Dave is kind.[(triple3 OR ((triple7) -> rule4) OR ((((triple2) -> rule5)) -> rule4) OR ((((triple5) -> rule6)) -> rule4))] Dave is nice.[(triple4)] Dave is quiet.[(triple5 OR ((triple7) -> rule1) OR ((((triple2) -> rule5)) -> rule1))] Dave is white.[(triple6)] Dave is young.[(triple7 OR ((triple2) -> rule5) OR ((triple5) -> rule6))] Erin is kind.[(triple8 OR ((triple11) -> rule4))] Erin is nice.[(triple9)] Erin is white.[(triple10)] Erin is young.[(triple11)] Harry is cold.[(triple12)] @1: Erin is blue.[(((triple9 triple11) -> rule2))] Erin is quiet.[(((triple11) -> rule1))] Harry is young.[(((triple12) -> rule5))] @2: Harry is kind.[(((((triple12) -> rule5)) -> rule4))] Harry is quiet.[(((((triple12) -> rule5)) -> rule1))] @3: Harry is blue.[(((triple12 ((((triple12) -> rule5)) -> rule1)) -> rule3))]