Bob is cold. Bob is furry. Bob is green. Bob is kind. Bob is smart. Charlie is cold. Charlie is kind. Charlie is red. Charlie is young. Fiona is red. Fiona is young. Gary is cold. Gary is furry. Gary is green. Gary is kind. Gary is young. All kind, young things are cold. If Charlie is kind and Charlie is green then Charlie is red. All kind things are smart. All young things are green. Smart, furry things are red. All furry, green things are kind. Young things are furry. If Fiona is furry and Fiona is young then Fiona is red.
Fiona is smart.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is kind.[(triple4 OR ((triple2 triple3) -> rule6))] Bob is smart.[(triple5 OR ((triple4) -> rule3) OR ((((triple2 triple3) -> rule6)) -> rule3))] Charlie is cold.[(triple6 OR ((triple7 triple9) -> rule1) OR ((((((triple9) -> rule7) ((triple9) -> rule4)) -> rule6) triple9) -> rule1))] Charlie is kind.[(triple7 OR ((((triple9) -> rule7) ((triple9) -> rule4)) -> rule6))] Charlie is red.[(triple8 OR ((triple7 ((triple9) -> rule4)) -> rule2) OR ((((triple7) -> rule3) ((triple9) -> rule7)) -> rule5) OR ((((((triple9) -> rule7) ((triple9) -> rule4)) -> rule6) ((triple9) -> rule4)) -> rule2) OR ((((((((triple9) -> rule7) ((triple9) -> rule4)) -> rule6)) -> rule3) ((triple9) -> rule7)) -> rule5))] Charlie is young.[(triple9)] Fiona is red.[(triple10 OR ((((triple11) -> rule7) triple11) -> rule8) OR ((((((((triple11) -> rule7) ((triple11) -> rule4)) -> rule6)) -> rule3) ((triple11) -> rule7)) -> rule5))] Fiona is young.[(triple11)] Gary is cold.[(triple12 OR ((triple15 triple16) -> rule1) OR ((((triple13 triple14) -> rule6) triple16) -> rule1) OR ((((triple13 ((triple16) -> rule4)) -> rule6) triple16) -> rule1) OR ((((((triple16) -> rule7) triple14) -> rule6) triple16) -> rule1) OR ((((((triple16) -> rule7) ((triple16) -> rule4)) -> rule6) triple16) -> rule1))] Gary is furry.[(triple13 OR ((triple16) -> rule7))] Gary is green.[(triple14 OR ((triple16) -> rule4))] Gary is kind.[(triple15 OR ((triple13 triple14) -> rule6) OR ((triple13 ((triple16) -> rule4)) -> rule6) OR ((((triple16) -> rule7) triple14) -> rule6) OR ((((triple16) -> rule7) ((triple16) -> rule4)) -> rule6))] Gary is young.[(triple16)] @1: Bob is red.[(((triple5 triple2) -> rule5) OR ((((triple4) -> rule3) triple2) -> rule5) OR ((((((triple2 triple3) -> rule6)) -> rule3) triple2) -> rule5))] Charlie is furry.[(((triple9) -> rule7))] Charlie is green.[(((triple9) -> rule4))] Charlie is smart.[(((triple7) -> rule3) OR ((((((triple9) -> rule7) ((triple9) -> rule4)) -> rule6)) -> rule3))] Fiona is furry.[(((triple11) -> rule7))] Fiona is green.[(((triple11) -> rule4))] Gary is smart.[(((triple15) -> rule3) OR ((((triple13 triple14) -> rule6)) -> rule3) OR ((((triple13 ((triple16) -> rule4)) -> rule6)) -> rule3) OR ((((((triple16) -> rule7) triple14) -> rule6)) -> rule3) OR ((((((triple16) -> rule7) ((triple16) -> rule4)) -> rule6)) -> rule3))] @2: Fiona is kind.[(((((triple11) -> rule7) ((triple11) -> rule4)) -> rule6))] Gary is red.[(((((triple15) -> rule3) triple13) -> rule5) OR ((((triple15) -> rule3) ((triple16) -> rule7)) -> rule5) OR ((((((triple13 triple14) -> rule6)) -> rule3) triple13) -> rule5) OR ((((((triple13 triple14) -> rule6)) -> rule3) ((triple16) -> rule7)) -> rule5) OR ((((((triple13 ((triple16) -> rule4)) -> rule6)) -> rule3) triple13) -> rule5) OR ((((((((triple16) -> rule7) triple14) -> rule6)) -> rule3) triple13) -> rule5) OR ((((((triple13 ((triple16) -> rule4)) -> rule6)) -> rule3) ((triple16) -> rule7)) -> rule5) OR ((((((((triple16) -> rule7) triple14) -> rule6)) -> rule3) ((triple16) -> rule7)) -> rule5) OR ((((((((triple16) -> rule7) ((triple16) -> rule4)) -> rule6)) -> rule3) triple13) -> rule5) OR ((((((((triple16) -> rule7) ((triple16) -> rule4)) -> rule6)) -> rule3) ((triple16) -> rule7)) -> rule5))] @3: Fiona is cold.[(((((((triple11) -> rule7) ((triple11) -> rule4)) -> rule6) triple11) -> rule1))] Fiona is smart.[(((((((triple11) -> rule7) ((triple11) -> rule4)) -> rule6)) -> rule3))]