Anne is green. Anne is red. Bob is blue. Bob is quiet. Bob is red. Bob is smart. Fiona is not big. Fiona is green. Fiona is not quiet. Harry is rough. If something is smart then it is quiet. All green, red things are quiet. Green, blue things are red. All rough things are blue. All rough things are not big. Smart, red things are big. If something is quiet and not smart then it is big. If something is quiet and green then it is rough.
Anne is quiet.
@0: Anne is green.[(triple1)] Anne is red.[(triple2)] Bob is blue.[(triple3)] Bob is quiet.[(triple4 OR ((triple6) -> rule1))] Bob is red.[(triple5)] Bob is smart.[(triple6)] Fiona is green.[(triple8)] Fiona is not big.[(triple7)] Fiona is not quiet.[(triple9)] Harry is rough.[(triple10)] @1: Anne is quiet.[(((triple1 triple2) -> rule2))] Bob is big.[(((triple6 triple5) -> rule6))] Harry is blue.[(((triple10) -> rule4))] Harry is not big.[(((triple10) -> rule5))] @2: Anne is rough.[(((((triple1 triple2) -> rule2) triple1) -> rule8))] @3: Anne is blue.[(((((((triple1 triple2) -> rule2) triple1) -> rule8)) -> rule4))] Anne is not big.[(((((((triple1 triple2) -> rule2) triple1) -> rule8)) -> rule5))]