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