Bob is quiet. Bob is rough. Erin is cold. Erin is quiet. Erin is young. Fiona is cold. Fiona is not green. Fiona is quiet. Fiona is red. Fiona is rough. If Bob is quiet and Bob is rough then Bob is green. If something is green then it is cold. If Erin is rough and Erin is young then Erin is not cold. If Fiona is red and Fiona is young then Fiona is quiet. If Fiona is young then Fiona is not big. If something is rough and not red then it is big. If something is red and not green then it is not big. If Fiona is young and Fiona is not big then Fiona is cold.
Bob is quiet.
@0: Bob is quiet.[(triple1)] Bob is rough.[(triple2)] Erin is cold.[(triple3)] Erin is quiet.[(triple4)] Erin is young.[(triple5)] Fiona is cold.[(triple6)] Fiona is not green.[(triple7)] Fiona is quiet.[(triple8)] Fiona is red.[(triple9)] Fiona is rough.[(triple10)] @1: Bob is green.[(((triple1 triple2) -> rule1))] Fiona is not big.[(((triple9 triple7) -> rule7))] @2: Bob is cold.[(((((triple1 triple2) -> rule1)) -> rule2))]