Bob is cold. Bob is furry. Bob is kind. Bob is nice. Bob is rough. Bob is smart. Charlie is nice. Charlie is quiet. Fiona is kind. Fiona is nice. Fiona is rough. Fiona is smart. If something is kind and furry then it is nice. All nice things are smart. Quiet things are rough. All kind, rough things are nice. All nice, kind things are cold. If something is rough then it is furry. If something is cold and kind then it is nice. All furry things are kind.
Charlie is not kind.
@0: Bob is cold.[(triple1 OR ((triple4 triple3) -> rule5) OR ((triple4 ((triple2) -> rule8)) -> rule5) OR ((((triple3 triple2) -> rule1) triple3) -> rule5) OR ((((triple3 triple5) -> rule4) triple3) -> rule5) OR ((((triple3 triple2) -> rule1) ((triple2) -> rule8)) -> rule5) OR ((((triple3 triple5) -> rule4) ((triple2) -> rule8)) -> rule5) OR ((triple4 ((((triple5) -> rule6)) -> rule8)) -> rule5) OR ((((triple3 ((triple5) -> rule6)) -> rule1) triple3) -> rule5) OR ((((((triple2) -> rule8) triple2) -> rule1) triple3) -> rule5) OR ((((((triple2) -> rule8) triple5) -> rule4) triple3) -> rule5) OR ((((triple3 triple2) -> rule1) ((((triple5) -> rule6)) -> rule8)) -> rule5) OR ((((triple3 triple5) -> rule4) ((((triple5) -> rule6)) -> rule8)) -> rule5) OR ((((triple3 ((triple5) -> rule6)) -> rule1) ((triple2) -> rule8)) -> rule5) OR ((((((triple2) -> rule8) triple2) -> rule1) ((triple2) -> rule8)) -> rule5) OR ((((((triple2) -> rule8) triple5) -> rule4) ((triple2) -> rule8)) -> rule5) OR ((((((triple2) -> rule8) ((triple5) -> rule6)) -> rule1) triple3) -> rule5) OR ((((triple3 ((triple5) -> rule6)) -> rule1) ((((triple5) -> rule6)) -> rule8)) -> rule5) OR ((((((triple2) -> rule8) triple2) -> rule1) ((((triple5) -> rule6)) -> rule8)) -> rule5) OR ((((((triple2) -> rule8) triple5) -> rule4) ((((triple5) -> rule6)) -> rule8)) -> rule5) OR ((((((triple2) -> rule8) ((triple5) -> rule6)) -> rule1) ((triple2) -> rule8)) -> rule5) OR ((((((triple2) -> rule8) ((triple5) -> rule6)) -> rule1) ((((triple5) -> rule6)) -> rule8)) -> rule5) OR ((((((((triple5) -> rule6)) -> rule8) triple2) -> rule1) triple3) -> rule5) OR ((((((((triple5) -> rule6)) -> rule8) triple5) -> rule4) triple3) -> rule5) OR ((((((((triple5) -> rule6)) -> rule8) triple2) -> rule1) ((triple2) -> rule8)) -> rule5) OR ((((((((triple5) -> rule6)) -> rule8) triple5) -> rule4) ((triple2) -> rule8)) -> rule5) OR ((((((((triple5) -> rule6)) -> rule8) ((triple5) -> rule6)) -> rule1) triple3) -> rule5) OR ((((((((triple5) -> rule6)) -> rule8) triple2) -> rule1) ((((triple5) -> rule6)) -> rule8)) -> rule5) OR ((((((((triple5) -> rule6)) -> rule8) triple5) -> rule4) ((((triple5) -> rule6)) -> rule8)) -> rule5) OR ((((((((triple5) -> rule6)) -> rule8) ((triple5) -> rule6)) -> rule1) ((triple2) -> rule8)) -> rule5) OR ((((((((triple5) -> rule6)) -> rule8) ((triple5) -> rule6)) -> rule1) ((((triple5) -> rule6)) -> rule8)) -> rule5))] Bob is furry.[(triple2 OR ((triple5) -> rule6))] Bob is kind.[(triple3 OR ((triple2) -> rule8) OR ((((triple5) -> rule6)) -> rule8))] Bob is nice.[(triple4 OR ((triple1 triple3) -> rule7) OR ((triple3 triple2) -> rule1) OR ((triple3 triple5) -> rule4) OR ((triple1 ((triple2) -> rule8)) -> rule7) OR ((triple3 ((triple5) -> rule6)) -> rule1) OR ((((triple2) -> rule8) triple2) -> rule1) OR ((((triple2) -> rule8) triple5) -> rule4) OR ((((triple2) -> rule8) ((triple5) -> rule6)) -> rule1) OR ((triple1 ((((triple5) -> rule6)) -> rule8)) -> rule7) OR ((((((triple5) -> rule6)) -> rule8) triple2) -> rule1) OR ((((((triple5) -> rule6)) -> rule8) triple5) -> rule4) OR ((((((triple5) -> rule6)) -> rule8) ((triple5) -> rule6)) -> rule1))] Bob is rough.[(triple5)] Bob is smart.[(triple6 OR ((triple4) -> rule2) OR ((((triple1 triple3) -> rule7)) -> rule2) OR ((((triple3 triple2) -> rule1)) -> rule2) OR ((((triple3 triple5) -> rule4)) -> rule2) OR ((((triple1 ((triple2) -> rule8)) -> rule7)) -> rule2) OR ((((triple3 ((triple5) -> rule6)) -> rule1)) -> rule2) OR ((((((triple2) -> rule8) triple2) -> rule1)) -> rule2) OR ((((((triple2) -> rule8) triple5) -> rule4)) -> rule2) OR ((((((triple2) -> rule8) ((triple5) -> rule6)) -> rule1)) -> rule2) OR ((((triple1 ((((triple5) -> rule6)) -> rule8)) -> rule7)) -> rule2) OR ((((((((triple5) -> rule6)) -> rule8) triple2) -> rule1)) -> rule2) OR ((((((((triple5) -> rule6)) -> rule8) triple5) -> rule4)) -> rule2) OR ((((((((triple5) -> rule6)) -> rule8) ((triple5) -> rule6)) -> rule1)) -> rule2))] Charlie is nice.[(triple7 OR ((((((((triple8) -> rule3)) -> rule6)) -> rule8) ((triple8) -> rule3)) -> rule4) OR ((((((((triple8) -> rule3)) -> rule6)) -> rule8) ((((triple8) -> rule3)) -> rule6)) -> rule1))] Charlie is quiet.[(triple8)] Fiona is kind.[(triple9 OR ((((triple11) -> rule6)) -> rule8))] Fiona is nice.[(triple10 OR ((triple9 triple11) -> rule4) OR ((triple9 ((triple11) -> rule6)) -> rule1) OR ((((((triple11) -> rule6)) -> rule8) triple11) -> rule4) OR ((((((triple11) -> rule6)) -> rule8) ((triple11) -> rule6)) -> rule1))] Fiona is rough.[(triple11)] Fiona is smart.[(triple12 OR ((triple10) -> rule2) OR ((((triple9 triple11) -> rule4)) -> rule2) OR ((((triple9 ((triple11) -> rule6)) -> rule1)) -> rule2) OR ((((((((triple11) -> rule6)) -> rule8) triple11) -> rule4)) -> rule2) OR ((((((((triple11) -> rule6)) -> rule8) ((triple11) -> rule6)) -> rule1)) -> rule2))] @1: Charlie is rough.[(((triple8) -> rule3))] Charlie is smart.[(((triple7) -> rule2) OR ((((((((((triple8) -> rule3)) -> rule6)) -> rule8) ((triple8) -> rule3)) -> rule4)) -> rule2) OR ((((((((((triple8) -> rule3)) -> rule6)) -> rule8) ((((triple8) -> rule3)) -> rule6)) -> rule1)) -> rule2))] Fiona is cold.[(((triple10 triple9) -> rule5) OR ((((triple9 triple11) -> rule4) triple9) -> rule5) OR ((triple10 ((((triple11) -> rule6)) -> rule8)) -> rule5) OR ((((triple9 ((triple11) -> rule6)) -> rule1) triple9) -> rule5) OR ((((triple9 triple11) -> rule4) ((((triple11) -> rule6)) -> rule8)) -> rule5) OR ((((triple9 ((triple11) -> rule6)) -> rule1) ((((triple11) -> rule6)) -> rule8)) -> rule5) OR ((((((((triple11) -> rule6)) -> rule8) triple11) -> rule4) triple9) -> rule5) OR ((((((((triple11) -> rule6)) -> rule8) ((triple11) -> rule6)) -> rule1) triple9) -> rule5) OR ((((((((triple11) -> rule6)) -> rule8) triple11) -> rule4) ((((triple11) -> rule6)) -> rule8)) -> rule5) OR ((((((((triple11) -> rule6)) -> rule8) ((triple11) -> rule6)) -> rule1) ((((triple11) -> rule6)) -> rule8)) -> rule5))] Fiona is furry.[(((triple11) -> rule6))] @2: Charlie is furry.[(((((triple8) -> rule3)) -> rule6))] @3: Charlie is kind.[(((((((triple8) -> rule3)) -> rule6)) -> rule8))] @4: Charlie is cold.[(((triple7 ((((((triple8) -> rule3)) -> rule6)) -> rule8)) -> rule5) OR ((((((((((triple8) -> rule3)) -> rule6)) -> rule8) ((triple8) -> rule3)) -> rule4) ((((((triple8) -> rule3)) -> rule6)) -> rule8)) -> rule5) OR ((((((((((triple8) -> rule3)) -> rule6)) -> rule8) ((((triple8) -> rule3)) -> rule6)) -> rule1) ((((((triple8) -> rule3)) -> rule6)) -> rule8)) -> rule5))]