Charlie is furry. Charlie is kind. Charlie is red. Charlie is rough. Charlie is white. Fiona is furry. Fiona is red. Fiona is rough. Fiona is young. Harry is red. Harry is rough. Harry is white. If Fiona is white then Fiona is red. If something is red then it is nice. If something is red and rough then it is nice. If something is kind then it is furry. Red, rough things are young. If something is furry and kind then it is rough. If something is white and red then it is kind. All furry, kind things are nice.
Harry is furry.
@0: Charlie is furry.[(triple1 OR ((triple2) -> rule4) OR ((((triple5 triple3) -> rule7)) -> rule4))] Charlie is kind.[(triple2 OR ((triple5 triple3) -> rule7))] Charlie is red.[(triple3)] Charlie is rough.[(triple4 OR ((triple1 triple2) -> rule6) OR ((triple1 ((triple5 triple3) -> rule7)) -> rule6) OR ((((triple2) -> rule4) triple2) -> rule6) OR ((((triple2) -> rule4) ((triple5 triple3) -> rule7)) -> rule6) OR ((((((triple5 triple3) -> rule7)) -> rule4) triple2) -> rule6) OR ((((((triple5 triple3) -> rule7)) -> rule4) ((triple5 triple3) -> rule7)) -> rule6))] Charlie is white.[(triple5)] Fiona is furry.[(triple6)] Fiona is red.[(triple7)] Fiona is rough.[(triple8)] Fiona is young.[(triple9 OR ((triple7 triple8) -> rule5))] Harry is red.[(triple10)] Harry is rough.[(triple11 OR ((((((triple12 triple10) -> rule7)) -> rule4) ((triple12 triple10) -> rule7)) -> rule6))] Harry is white.[(triple12)] @1: Charlie is nice.[(((triple3) -> rule2) OR ((triple1 triple2) -> rule8) OR ((triple3 triple4) -> rule3) OR ((triple1 ((triple5 triple3) -> rule7)) -> rule8) OR ((triple3 ((triple1 triple2) -> rule6)) -> rule3) OR ((((triple2) -> rule4) triple2) -> rule8) OR ((((triple2) -> rule4) ((triple5 triple3) -> rule7)) -> rule8) OR ((triple3 ((triple1 ((triple5 triple3) -> rule7)) -> rule6)) -> rule3) OR ((triple3 ((((triple2) -> rule4) triple2) -> rule6)) -> rule3) OR ((((((triple5 triple3) -> rule7)) -> rule4) triple2) -> rule8) OR ((triple3 ((((triple2) -> rule4) ((triple5 triple3) -> rule7)) -> rule6)) -> rule3) OR ((((((triple5 triple3) -> rule7)) -> rule4) ((triple5 triple3) -> rule7)) -> rule8) OR ((triple3 ((((((triple5 triple3) -> rule7)) -> rule4) triple2) -> rule6)) -> rule3) OR ((triple3 ((((((triple5 triple3) -> rule7)) -> rule4) ((triple5 triple3) -> rule7)) -> rule6)) -> rule3))] Charlie is young.[(((triple3 triple4) -> rule5) OR ((triple3 ((triple1 triple2) -> rule6)) -> rule5) OR ((triple3 ((triple1 ((triple5 triple3) -> rule7)) -> rule6)) -> rule5) OR ((triple3 ((((triple2) -> rule4) triple2) -> rule6)) -> rule5) OR ((triple3 ((((triple2) -> rule4) ((triple5 triple3) -> rule7)) -> rule6)) -> rule5) OR ((triple3 ((((((triple5 triple3) -> rule7)) -> rule4) triple2) -> rule6)) -> rule5) OR ((triple3 ((((((triple5 triple3) -> rule7)) -> rule4) ((triple5 triple3) -> rule7)) -> rule6)) -> rule5))] Fiona is nice.[(((triple7) -> rule2) OR ((triple7 triple8) -> rule3))] Harry is kind.[(((triple12 triple10) -> rule7))] Harry is nice.[(((triple10) -> rule2) OR ((triple10 triple11) -> rule3) OR ((((((triple12 triple10) -> rule7)) -> rule4) ((triple12 triple10) -> rule7)) -> rule8) OR ((triple10 ((((((triple12 triple10) -> rule7)) -> rule4) ((triple12 triple10) -> rule7)) -> rule6)) -> rule3))] Harry is young.[(((triple10 triple11) -> rule5) OR ((triple10 ((((((triple12 triple10) -> rule7)) -> rule4) ((triple12 triple10) -> rule7)) -> rule6)) -> rule5))] @2: Harry is furry.[(((((triple12 triple10) -> rule7)) -> rule4))]