Bob is green. Bob is nice. Bob is rough. Bob is smart. Fiona is nice. Gary is rough. Harry is blue. Harry is furry. Harry is kind. Harry is rough. All green, nice things are kind. All kind, green things are furry. If Fiona is rough then Fiona is furry. All furry, green things are nice. If something is rough and green then it is nice. If something is smart then it is green. If something is kind and rough then it is furry. If something is blue then it is kind.
Fiona is blue.
@0: Bob is green.[(triple1 OR ((triple4) -> rule6))] Bob is nice.[(triple2 OR ((triple3 triple1) -> rule5) OR ((triple3 ((triple4) -> rule6)) -> rule5))] Bob is rough.[(triple3)] Bob is smart.[(triple4)] Fiona is nice.[(triple5)] Gary is rough.[(triple6)] Harry is blue.[(triple7)] Harry is furry.[(triple8 OR ((triple9 triple10) -> rule7) OR ((((triple7) -> rule8) triple10) -> rule7))] Harry is kind.[(triple9 OR ((triple7) -> rule8))] Harry is rough.[(triple10)] @1: Bob is kind.[(((triple1 triple2) -> rule1) OR ((triple1 ((triple3 triple1) -> rule5)) -> rule1) OR ((((triple4) -> rule6) triple2) -> rule1) OR ((((triple4) -> rule6) ((triple3 triple1) -> rule5)) -> rule1) OR ((triple1 ((triple3 ((triple4) -> rule6)) -> rule5)) -> rule1) OR ((((triple4) -> rule6) ((triple3 ((triple4) -> rule6)) -> rule5)) -> rule1))] @2: Bob is furry.[(((((triple1 triple2) -> rule1) triple1) -> rule2) OR ((((triple1 triple2) -> rule1) triple3) -> rule7) OR ((((triple1 triple2) -> rule1) ((triple4) -> rule6)) -> rule2) OR ((((triple1 ((triple3 triple1) -> rule5)) -> rule1) triple1) -> rule2) OR ((((triple1 ((triple3 triple1) -> rule5)) -> rule1) triple3) -> rule7) OR ((((((triple4) -> rule6) triple2) -> rule1) triple1) -> rule2) OR ((((((triple4) -> rule6) triple2) -> rule1) triple3) -> rule7) OR ((((triple1 ((triple3 triple1) -> rule5)) -> rule1) ((triple4) -> rule6)) -> rule2) OR ((((((triple4) -> rule6) triple2) -> rule1) ((triple4) -> rule6)) -> rule2) OR ((((((triple4) -> rule6) ((triple3 triple1) -> rule5)) -> rule1) triple1) -> rule2) OR ((((((triple4) -> rule6) ((triple3 triple1) -> rule5)) -> rule1) triple3) -> rule7) OR ((((((triple4) -> rule6) ((triple3 triple1) -> rule5)) -> rule1) ((triple4) -> rule6)) -> rule2) OR ((((triple1 ((triple3 ((triple4) -> rule6)) -> rule5)) -> rule1) triple1) -> rule2) OR ((((triple1 ((triple3 ((triple4) -> rule6)) -> rule5)) -> rule1) triple3) -> rule7) OR ((((triple1 ((triple3 ((triple4) -> rule6)) -> rule5)) -> rule1) ((triple4) -> rule6)) -> rule2) OR ((((((triple4) -> rule6) ((triple3 ((triple4) -> rule6)) -> rule5)) -> rule1) triple1) -> rule2) OR ((((((triple4) -> rule6) ((triple3 ((triple4) -> rule6)) -> rule5)) -> rule1) triple3) -> rule7) OR ((((((triple4) -> rule6) ((triple3 ((triple4) -> rule6)) -> rule5)) -> rule1) ((triple4) -> rule6)) -> rule2))]