Dave is blue. Dave is red. Fiona is blue. Fiona is cold. Fiona is kind. Fiona is quiet. Fiona is smart. Fiona is young. Gary is blue. Gary is cold. Gary is kind. Gary is quiet. Gary is red. Gary is smart. Gary is young. Harry is red. Young, kind people are cold. All cold, kind people are young. If Harry is blue then Harry is red. If Dave is cold then Dave is quiet. Kind, red people are cold. Smart people are kind. Smart, young people are kind. If someone is blue then they are kind.
Harry is blue.
@0: Dave is blue.[(triple1)] Dave is red.[(triple2)] Fiona is blue.[(triple3)] Fiona is cold.[(triple4 OR ((triple8 triple5) -> rule1) OR ((triple8 ((triple3) -> rule8)) -> rule1) OR ((triple8 ((triple7) -> rule6)) -> rule1) OR ((triple8 ((triple7 triple8) -> rule7)) -> rule1))] Fiona is kind.[(triple5 OR ((triple3) -> rule8) OR ((triple7) -> rule6) OR ((triple7 triple8) -> rule7))] Fiona is quiet.[(triple6)] Fiona is smart.[(triple7)] Fiona is young.[(triple8 OR ((triple4 triple5) -> rule2) OR ((triple4 ((triple3) -> rule8)) -> rule2) OR ((triple4 ((triple7) -> rule6)) -> rule2))] Gary is blue.[(triple9)] Gary is cold.[(triple10 OR ((triple11 triple13) -> rule5) OR ((triple15 triple11) -> rule1) OR ((triple15 ((triple14) -> rule6)) -> rule1) OR ((triple15 ((triple9) -> rule8)) -> rule1) OR ((triple15 ((triple14 triple15) -> rule7)) -> rule1) OR ((((triple14) -> rule6) triple13) -> rule5) OR ((((triple9) -> rule8) triple13) -> rule5) OR ((((triple14 triple15) -> rule7) triple13) -> rule5))] Gary is kind.[(triple11 OR ((triple14) -> rule6) OR ((triple9) -> rule8) OR ((triple14 triple15) -> rule7))] Gary is quiet.[(triple12)] Gary is red.[(triple13)] Gary is smart.[(triple14)] Gary is young.[(triple15 OR ((triple10 triple11) -> rule2) OR ((triple10 ((triple14) -> rule6)) -> rule2) OR ((triple10 ((triple9) -> rule8)) -> rule2) OR ((((triple11 triple13) -> rule5) triple11) -> rule2) OR ((((triple11 triple13) -> rule5) ((triple14) -> rule6)) -> rule2) OR ((((triple11 triple13) -> rule5) ((triple9) -> rule8)) -> rule2) OR ((((((triple14) -> rule6) triple13) -> rule5) triple11) -> rule2) OR ((((((triple9) -> rule8) triple13) -> rule5) triple11) -> rule2) OR ((((((triple14) -> rule6) triple13) -> rule5) ((triple14) -> rule6)) -> rule2) OR ((((((triple14) -> rule6) triple13) -> rule5) ((triple9) -> rule8)) -> rule2) OR ((((((triple9) -> rule8) triple13) -> rule5) ((triple14) -> rule6)) -> rule2) OR ((((((triple9) -> rule8) triple13) -> rule5) ((triple9) -> rule8)) -> rule2))] Harry is red.[(triple16)] @1: Dave is kind.[(((triple1) -> rule8))] @2: Dave is cold.[(((((triple1) -> rule8) triple2) -> rule5))] @3: Dave is quiet.[(((((((triple1) -> rule8) triple2) -> rule5)) -> rule4))] Dave is young.[(((((((triple1) -> rule8) triple2) -> rule5) ((triple1) -> rule8)) -> rule2))]