Bob is nice. Dave is nice. Fiona is cold. Harry is nice. If someone is cold then they are blue. Cold, nice people are kind. All big, blue people are smart. If someone is cold and kind then they are smart. If Dave is cold then Dave is big. If someone is cold and blue then they are quiet. If someone is cold and quiet then they are nice. All nice, quiet people are big.
Fiona is quiet.
@0: Bob is nice.[(triple1)] Dave is nice.[(triple2)] Fiona is cold.[(triple3)] Harry is nice.[(triple4)] @1: Fiona is blue.[(((triple3) -> rule1))] @2: Fiona is quiet.[(((triple3 ((triple3) -> rule1)) -> rule6))] @3: Fiona is nice.[(((triple3 ((triple3 ((triple3) -> rule1)) -> rule6)) -> rule7))] @4: Fiona is big.[(((((triple3 ((triple3 ((triple3) -> rule1)) -> rule6)) -> rule7) ((triple3 ((triple3) -> rule1)) -> rule6)) -> rule8))] Fiona is kind.[(((triple3 ((triple3 ((triple3 ((triple3) -> rule1)) -> rule6)) -> rule7)) -> rule2))] @5: Fiona is smart.[(((triple3 ((triple3 ((triple3 ((triple3 ((triple3) -> rule1)) -> rule6)) -> rule7)) -> rule2)) -> rule4) OR ((((((triple3 ((triple3 ((triple3) -> rule1)) -> rule6)) -> rule7) ((triple3 ((triple3) -> rule1)) -> rule6)) -> rule8) ((triple3) -> rule1)) -> rule3))]