Anne is big. Anne is blue. Anne is kind. Anne is red. Anne is rough. Anne is young. Bob is green. Bob is kind. Bob is red. Bob is rough. Fiona is blue. Harry is big. Harry is kind. Harry is rough. Harry is young. Green things are kind. Young, green things are kind. All young, blue things are green. If something is blue then it is green. If something is kind and big then it is green. All kind things are young. Big things are young. If Harry is blue then Harry is not red.
Bob is big.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is kind.[(triple3 OR ((((triple2) -> rule4)) -> rule1) OR ((((triple6 triple2) -> rule3)) -> rule1) OR ((triple6 ((triple2) -> rule4)) -> rule2) OR ((triple6 ((triple6 triple2) -> rule3)) -> rule2) OR ((((triple1) -> rule7) ((triple2) -> rule4)) -> rule2) OR ((((triple1) -> rule7) ((triple6 triple2) -> rule3)) -> rule2) OR ((((((triple1) -> rule7) triple2) -> rule3)) -> rule1) OR ((triple6 ((((triple1) -> rule7) triple2) -> rule3)) -> rule2) OR ((((triple1) -> rule7) ((((triple1) -> rule7) triple2) -> rule3)) -> rule2))] Anne is red.[(triple4)] Anne is rough.[(triple5)] Anne is young.[(triple6 OR ((triple1) -> rule7) OR ((triple3) -> rule6) OR ((((((triple2) -> rule4)) -> rule1)) -> rule6))] Bob is green.[(triple7)] Bob is kind.[(triple8 OR ((triple7) -> rule1))] Bob is red.[(triple9)] Bob is rough.[(triple10)] Fiona is blue.[(triple11)] Harry is big.[(triple12)] Harry is kind.[(triple13)] Harry is rough.[(triple14)] Harry is young.[(triple15 OR ((triple12) -> rule7) OR ((triple13) -> rule6))] @1: Anne is green.[(((triple2) -> rule4) OR ((triple3 triple1) -> rule5) OR ((triple6 triple2) -> rule3) OR ((((triple1) -> rule7) triple2) -> rule3) OR ((((triple3) -> rule6) triple2) -> rule3))] Bob is young.[(((triple8) -> rule6) OR ((((triple7) -> rule1)) -> rule6))] Fiona is green.[(((triple11) -> rule4))] Harry is green.[(((triple13 triple12) -> rule5))] @2: Fiona is kind.[(((((triple11) -> rule4)) -> rule1))] @3: Fiona is young.[(((((((triple11) -> rule4)) -> rule1)) -> rule6))]