Bob is big. Bob is kind. Charlie is young. Fiona is green. Fiona is kind. Fiona is white. Harry is blue. If something is young and big then it is green. If Charlie is kind and Charlie is green then Charlie is white. If something is smart and white then it is kind. If something is kind then it is smart. Kind things are green. All big things are young. If something is big and young then it is smart. All kind, smart things are big.
Bob is not blue.
@0: Bob is big.[(triple1 OR ((triple2 ((triple2) -> rule4)) -> rule8))] Bob is kind.[(triple2)] Charlie is young.[(triple3)] Fiona is green.[(triple4 OR ((triple5) -> rule5) OR ((((((triple5 ((triple5) -> rule4)) -> rule8)) -> rule6) ((triple5 ((triple5) -> rule4)) -> rule8)) -> rule1))] Fiona is kind.[(triple5)] Fiona is white.[(triple6)] Harry is blue.[(triple7)] @1: Bob is green.[(((triple2) -> rule5) OR ((((triple1) -> rule6) triple1) -> rule1) OR ((((triple1) -> rule6) ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule1) OR ((((((triple2 ((triple2) -> rule4)) -> rule8)) -> rule6) triple1) -> rule1) OR ((((((triple2 ((triple2) -> rule4)) -> rule8)) -> rule6) ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule1))] Bob is smart.[(((triple2) -> rule4) OR ((triple1 ((triple1) -> rule6)) -> rule7))] Bob is young.[(((triple1) -> rule6) OR ((((triple2 ((triple2) -> rule4)) -> rule8)) -> rule6))] Fiona is smart.[(((triple5) -> rule4))] @2: Fiona is big.[(((triple5 ((triple5) -> rule4)) -> rule8))] @3: Fiona is young.[(((((triple5 ((triple5) -> rule4)) -> rule8)) -> rule6))]