Bob is green. Charlie is big. Erin is big. Erin is blue. Erin is cold. Erin is nice. Fiona is nice. Cold people are nice. Green people are round. If Fiona is rough then Fiona is nice. If someone is round then they are blue. All green, big people are nice. Round people are cold. If someone is big and cold then they are round. If someone is rough then they are big.
Bob is not green.
@0: Bob is green.[(triple1)] Charlie is big.[(triple2)] Erin is big.[(triple3)] Erin is blue.[(triple4 OR ((((triple3 triple5) -> rule7)) -> rule4))] Erin is cold.[(triple5)] Erin is nice.[(triple6 OR ((triple5) -> rule1))] Fiona is nice.[(triple7)] @1: Bob is round.[(((triple1) -> rule2))] Erin is round.[(((triple3 triple5) -> rule7))] @2: Bob is blue.[(((((triple1) -> rule2)) -> rule4))] Bob is cold.[(((((triple1) -> rule2)) -> rule6))] @3: Bob is nice.[(((((((triple1) -> rule2)) -> rule6)) -> rule1))]