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