Charlie is quiet. Charlie is red. Charlie is smart. Dave is big. Dave is blue. Dave is red. Fiona is blue. Fiona is nice. Fiona is quiet. Fiona is red. Harry is big. Harry is cold. If someone is smart and cold then they are big. Red, cold people are nice. All red, quiet people are smart. Big people are quiet. Red, big people are quiet. Big people are nice. All big people are cold. Quiet people are blue.
Harry is red.
@0: Charlie is quiet.[(triple1)] Charlie is red.[(triple2)] Charlie is smart.[(triple3 OR ((triple2 triple1) -> rule3))] Dave is big.[(triple4)] Dave is blue.[(triple5 OR ((((triple4) -> rule4)) -> rule8) OR ((((triple6 triple4) -> rule5)) -> rule8))] Dave is red.[(triple6)] Fiona is blue.[(triple7 OR ((triple9) -> rule8))] Fiona is nice.[(triple8)] Fiona is quiet.[(triple9)] Fiona is red.[(triple10)] Harry is big.[(triple11)] Harry is cold.[(triple12 OR ((triple11) -> rule7))] @1: Charlie is blue.[(((triple1) -> rule8))] Dave is cold.[(((triple4) -> rule7))] Dave is nice.[(((triple4) -> rule6) OR ((triple6 ((triple4) -> rule7)) -> rule2))] Dave is quiet.[(((triple4) -> rule4) OR ((triple6 triple4) -> rule5))] Fiona is smart.[(((triple10 triple9) -> rule3))] Harry is nice.[(((triple11) -> rule6))] Harry is quiet.[(((triple11) -> rule4))] @2: Dave is smart.[(((triple6 ((triple4) -> rule4)) -> rule3) OR ((triple6 ((triple6 triple4) -> rule5)) -> rule3))] Harry is blue.[(((((triple11) -> rule4)) -> rule8))]