Bob is kind. Bob is nice. Bob is red. Bob is round. Bob is young. Charlie is kind. Charlie is nice. Charlie is red. Fiona is kind. Harry is round. If something is furry and nice then it is kind. All kind things are red. All furry, young things are red. If something is kind and red then it is nice. Nice things are green. If something is nice and red then it is green.
Harry is young.
@0: Bob is kind.[(triple1)] Bob is nice.[(triple2 OR ((triple1 triple3) -> rule4) OR ((triple1 ((triple1) -> rule2)) -> rule4))] Bob is red.[(triple3 OR ((triple1) -> rule2))] Bob is round.[(triple4)] Bob is young.[(triple5)] Charlie is kind.[(triple6)] Charlie is nice.[(triple7 OR ((triple6 triple8) -> rule4) OR ((triple6 ((triple6) -> rule2)) -> rule4))] Charlie is red.[(triple8 OR ((triple6) -> rule2))] Fiona is kind.[(triple9)] Harry is round.[(triple10)] @1: Bob is green.[(((triple2) -> rule5) OR ((triple2 triple3) -> rule6) OR ((((triple1 triple3) -> rule4)) -> rule5) OR ((triple2 ((triple1) -> rule2)) -> rule6) OR ((((triple1 triple3) -> rule4) triple3) -> rule6) OR ((((triple1 triple3) -> rule4) ((triple1) -> rule2)) -> rule6) OR ((((triple1 ((triple1) -> rule2)) -> rule4)) -> rule5) OR ((((triple1 ((triple1) -> rule2)) -> rule4) triple3) -> rule6) OR ((((triple1 ((triple1) -> rule2)) -> rule4) ((triple1) -> rule2)) -> rule6))] Charlie is green.[(((triple7) -> rule5) OR ((triple7 triple8) -> rule6) OR ((((triple6 triple8) -> rule4)) -> rule5) OR ((triple7 ((triple6) -> rule2)) -> rule6) OR ((((triple6 triple8) -> rule4) triple8) -> rule6) OR ((((triple6 triple8) -> rule4) ((triple6) -> rule2)) -> rule6) OR ((((triple6 ((triple6) -> rule2)) -> rule4)) -> rule5) OR ((((triple6 ((triple6) -> rule2)) -> rule4) triple8) -> rule6) OR ((((triple6 ((triple6) -> rule2)) -> rule4) ((triple6) -> rule2)) -> rule6))] Fiona is red.[(((triple9) -> rule2))] @2: Fiona is nice.[(((triple9 ((triple9) -> rule2)) -> rule4))] @3: Fiona is green.[(((((triple9 ((triple9) -> rule2)) -> rule4)) -> rule5) OR ((((triple9 ((triple9) -> rule2)) -> rule4) ((triple9) -> rule2)) -> rule6))]