Bob is blue. Bob is quiet. Charlie is quiet. Fiona is not blue. Fiona is green. Fiona is not smart. Gary is green. If someone is kind and not quiet then they are rough. Quiet people are not smart. Quiet people are kind. If Gary is smart and Gary is blue then Gary is rough. If someone is quiet and not smart then they are green. If someone is green then they are big. All blue people are big. If someone is smart then they are not big.
Bob is not blue.
@0: Bob is blue.[(triple1)] Bob is quiet.[(triple2)] Charlie is quiet.[(triple3)] Fiona is green.[(triple5)] Fiona is not blue.[(triple4)] Fiona is not smart.[(triple6)] Gary is green.[(triple7)] @1: Bob is big.[(((triple1) -> rule7) OR ((((triple2 ((triple2) -> rule2)) -> rule5)) -> rule6))] Bob is kind.[(((triple2) -> rule3))] Bob is not smart.[(((triple2) -> rule2))] Charlie is kind.[(((triple3) -> rule3))] Charlie is not smart.[(((triple3) -> rule2))] Fiona is big.[(((triple5) -> rule6))] Gary is big.[(((triple7) -> rule6))] @2: Bob is green.[(((triple2 ((triple2) -> rule2)) -> rule5))] Charlie is green.[(((triple3 ((triple3) -> rule2)) -> rule5))] @3: Charlie is big.[(((((triple3 ((triple3) -> rule2)) -> rule5)) -> rule6))]