Dave is big. Dave is cold. Dave is quiet. Dave is smart. Dave is young. Fiona is cold. Fiona is red. Gary is smart. Gary is young. Harry is cold. Harry is kind. Harry is young. All cold, young people are big. If someone is quiet and young then they are cold. If someone is kind then they are smart. Young people are kind. Big people are red. If someone is kind and young then they are quiet.
Harry is not quiet.
@0: Dave is big.[(triple1 OR ((triple2 triple5) -> rule1) OR ((((triple3 triple5) -> rule2) triple5) -> rule1) OR ((((((((triple5) -> rule4) triple5) -> rule6) triple5) -> rule2) triple5) -> rule1))] Dave is cold.[(triple2 OR ((triple3 triple5) -> rule2) OR ((((((triple5) -> rule4) triple5) -> rule6) triple5) -> rule2))] Dave is quiet.[(triple3 OR ((((triple5) -> rule4) triple5) -> rule6))] Dave is smart.[(triple4 OR ((((triple5) -> rule4)) -> rule3))] Dave is young.[(triple5)] Fiona is cold.[(triple6)] Fiona is red.[(triple7)] Gary is smart.[(triple8 OR ((((triple9) -> rule4)) -> rule3))] Gary is young.[(triple9)] Harry is cold.[(triple10 OR ((((triple11 triple12) -> rule6) triple12) -> rule2) OR ((((((triple12) -> rule4) triple12) -> rule6) triple12) -> rule2))] Harry is kind.[(triple11 OR ((triple12) -> rule4))] Harry is young.[(triple12)] @1: Dave is kind.[(((triple5) -> rule4))] Dave is red.[(((triple1) -> rule5) OR ((((triple2 triple5) -> rule1)) -> rule5) OR ((((((triple3 triple5) -> rule2) triple5) -> rule1)) -> rule5) OR ((((((((((triple5) -> rule4) triple5) -> rule6) triple5) -> rule2) triple5) -> rule1)) -> rule5))] Gary is kind.[(((triple9) -> rule4))] Harry is big.[(((triple10 triple12) -> rule1) OR ((((((triple11 triple12) -> rule6) triple12) -> rule2) triple12) -> rule1) OR ((((((((triple12) -> rule4) triple12) -> rule6) triple12) -> rule2) triple12) -> rule1))] Harry is quiet.[(((triple11 triple12) -> rule6) OR ((((triple12) -> rule4) triple12) -> rule6))] Harry is smart.[(((triple11) -> rule3) OR ((((triple12) -> rule4)) -> rule3))] @2: Gary is quiet.[(((((triple9) -> rule4) triple9) -> rule6))] Harry is red.[(((((triple10 triple12) -> rule1)) -> rule5) OR ((((((((triple11 triple12) -> rule6) triple12) -> rule2) triple12) -> rule1)) -> rule5) OR ((((((((((triple12) -> rule4) triple12) -> rule6) triple12) -> rule2) triple12) -> rule1)) -> rule5))] @3: Gary is cold.[(((((((triple9) -> rule4) triple9) -> rule6) triple9) -> rule2))] @4: Gary is big.[(((((((((triple9) -> rule4) triple9) -> rule6) triple9) -> rule2) triple9) -> rule1))] @5: Gary is red.[(((((((((((triple9) -> rule4) triple9) -> rule6) triple9) -> rule2) triple9) -> rule1)) -> rule5))]