Bob is cold. Bob is kind. Bob is nice. Bob is round. Bob is smart. Bob is young. Fiona is furry. Fiona is nice. Fiona is round. Fiona is smart. Gary is cold. Gary is furry. Gary is nice. Gary is round. Gary is young. All smart, round people are furry. All cold, kind people are round. If Fiona is furry and Fiona is kind then Fiona is young. If Fiona is kind and Fiona is nice then Fiona is round. Kind, young people are smart. All young, nice people are cold. If someone is furry and smart then they are round. If Fiona is furry and Fiona is cold then Fiona is smart.
Bob is furry.
@0: Bob is cold.[(triple1 OR ((triple6 triple3) -> rule6))] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Bob is round.[(triple4 OR ((triple1 triple2) -> rule2) OR ((((triple6 triple3) -> rule6) triple2) -> rule2))] Bob is smart.[(triple5 OR ((triple2 triple6) -> rule5))] Bob is young.[(triple6)] Fiona is furry.[(triple7 OR ((triple10 triple9) -> rule1))] Fiona is nice.[(triple8)] Fiona is round.[(triple9 OR ((triple7 triple10) -> rule7))] Fiona is smart.[(triple10)] Gary is cold.[(triple11 OR ((triple15 triple13) -> rule6))] Gary is furry.[(triple12)] Gary is nice.[(triple13)] Gary is round.[(triple14)] Gary is young.[(triple15)] @1: Bob is furry.[(((triple5 triple4) -> rule1) OR ((triple5 ((triple1 triple2) -> rule2)) -> rule1) OR ((((triple2 triple6) -> rule5) triple4) -> rule1) OR ((((triple2 triple6) -> rule5) ((triple1 triple2) -> rule2)) -> rule1) OR ((triple5 ((((triple6 triple3) -> rule6) triple2) -> rule2)) -> rule1) OR ((((triple2 triple6) -> rule5) ((((triple6 triple3) -> rule6) triple2) -> rule2)) -> rule1))]