Bob is nice. Fiona is cold. Gary is green. If someone is nice then they are big. All big, green people are white. If Fiona is white and Fiona is quiet then Fiona is nice. All red people are nice. All cold people are red. All big, nice people are cold.
Fiona is not green.
@0: Bob is nice.[(triple1)] Fiona is cold.[(triple2)] Gary is green.[(triple3)] @1: Bob is big.[(((triple1) -> rule1))] Fiona is red.[(((triple2) -> rule5))] @2: Bob is cold.[(((((triple1) -> rule1) triple1) -> rule6))] Fiona is nice.[(((((triple2) -> rule5)) -> rule4))] @3: Bob is red.[(((((((triple1) -> rule1) triple1) -> rule6)) -> rule5))] Fiona is big.[(((((((triple2) -> rule5)) -> rule4)) -> rule1))]