Bob is quiet. Bob is red. Bob is smart. Fiona is cold. Fiona is red. Gary is furry. Gary is quiet. All red, smart people are cold. Big, kind people are quiet. If Bob is cold then Bob is big. If someone is kind and red then they are cold. If Fiona is furry and Fiona is cold then Fiona is quiet. If Fiona is red then Fiona is big.
Gary is not cold.
@0: Bob is quiet.[(triple1)] Bob is red.[(triple2)] Bob is smart.[(triple3)] Fiona is cold.[(triple4)] Fiona is red.[(triple5)] Gary is furry.[(triple6)] Gary is quiet.[(triple7)] @1: Bob is cold.[(((triple2 triple3) -> rule1))] Fiona is big.[(((triple5) -> rule6))] @2: Bob is big.[(((((triple2 triple3) -> rule1)) -> rule3))]