Bob is furry. Bob is kind. Bob is round. Erin is furry. Erin is kind. Erin is round. Erin is smart. Erin is young. Fiona is young. Gary is cold. Gary is round. Gary is white. If Bob is kind and Bob is round then Bob is young. All white, kind people are young. If someone is furry and cold then they are smart. Young, furry people are white. All furry, smart people are kind. Furry, white people are cold. All smart, furry people are young. If someone is furry and kind then they are smart.
Gary is kind.
@0: Bob is furry.[(triple1)] Bob is kind.[(triple2)] Bob is round.[(triple3)] Erin is furry.[(triple4)] Erin is kind.[(triple5 OR ((triple4 triple7) -> rule5) OR ((triple4 ((triple4 ((triple4 ((triple8 triple4) -> rule4)) -> rule6)) -> rule3)) -> rule5))] Erin is round.[(triple6)] Erin is smart.[(triple7 OR ((triple4 triple5) -> rule8) OR ((triple4 ((triple4 ((triple8 triple4) -> rule4)) -> rule6)) -> rule3))] Erin is young.[(triple8 OR ((triple7 triple4) -> rule7) OR ((((triple4 triple5) -> rule8) triple4) -> rule7))] Fiona is young.[(triple9)] Gary is cold.[(triple10)] Gary is round.[(triple11)] Gary is white.[(triple12)] @1: Bob is smart.[(((triple1 triple2) -> rule8) OR ((triple1 ((triple1 ((((triple2 triple3) -> rule1) triple1) -> rule4)) -> rule6)) -> rule3))] Bob is young.[(((triple2 triple3) -> rule1) OR ((((triple1 triple2) -> rule8) triple1) -> rule7))] Erin is white.[(((triple8 triple4) -> rule4) OR ((((triple7 triple4) -> rule7) triple4) -> rule4) OR ((((((triple4 triple5) -> rule8) triple4) -> rule7) triple4) -> rule4))] @2: Bob is white.[(((((triple2 triple3) -> rule1) triple1) -> rule4) OR ((((((triple1 triple2) -> rule8) triple1) -> rule7) triple1) -> rule4))] Erin is cold.[(((triple4 ((triple8 triple4) -> rule4)) -> rule6) OR ((triple4 ((((triple7 triple4) -> rule7) triple4) -> rule4)) -> rule6) OR ((triple4 ((((((triple4 triple5) -> rule8) triple4) -> rule7) triple4) -> rule4)) -> rule6))] @3: Bob is cold.[(((triple1 ((((triple2 triple3) -> rule1) triple1) -> rule4)) -> rule6) OR ((triple1 ((((((triple1 triple2) -> rule8) triple1) -> rule7) triple1) -> rule4)) -> rule6))]