Anne is green. Anne is red. Bob is big. Bob is green. Charlie is big. Fiona is big. Fiona is green. All red, rough people are big. Rough people are big. All big people are smart. Rough people are smart. If someone is green then they are blue. If Fiona is nice then Fiona is green. Green people are blue. If someone is red then they are rough.
Bob is green.
@0: Anne is green.[(triple1)] Anne is red.[(triple2)] Bob is big.[(triple3)] Bob is green.[(triple4)] Charlie is big.[(triple5)] Fiona is big.[(triple6)] Fiona is green.[(triple7)] @1: Anne is blue.[(((triple1) -> rule5) OR ((triple1) -> rule7))] Anne is rough.[(((triple2) -> rule8))] Bob is blue.[(((triple4) -> rule5) OR ((triple4) -> rule7))] Bob is smart.[(((triple3) -> rule3))] Charlie is smart.[(((triple5) -> rule3))] Fiona is blue.[(((triple7) -> rule5) OR ((triple7) -> rule7))] Fiona is smart.[(((triple6) -> rule3))] @2: Anne is big.[(((((triple2) -> rule8)) -> rule2) OR ((triple2 ((triple2) -> rule8)) -> rule1))] Anne is smart.[(((((triple2) -> rule8)) -> rule4) OR ((((((triple2) -> rule8)) -> rule2)) -> rule3) OR ((((triple2 ((triple2) -> rule8)) -> rule1)) -> rule3))]