Bob is cold. Bob is furry. Bob is green. Bob is red. Bob is rough. Bob is round. Bob is smart. Fiona is not cold. Fiona is furry. Fiona is green. Fiona is not red. Fiona is rough. Fiona is round. Fiona is smart. If Fiona is red and Fiona is smart then Fiona is round. All green people are smart. If someone is red then they are green. If someone is round then they are green. All smart people are green. All rough people are furry. If someone is green and cold then they are furry. If Fiona is cold then Fiona is not smart.
Bob is not green.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2 OR ((triple5) -> rule6) OR ((triple3 triple1) -> rule7) OR ((((triple4) -> rule3) triple1) -> rule7) OR ((((triple6) -> rule4) triple1) -> rule7) OR ((((triple7) -> rule5) triple1) -> rule7))] Bob is green.[(triple3 OR ((triple4) -> rule3) OR ((triple6) -> rule4) OR ((triple7) -> rule5))] Bob is red.[(triple4)] Bob is rough.[(triple5)] Bob is round.[(triple6)] Bob is smart.[(triple7 OR ((triple3) -> rule2) OR ((((triple4) -> rule3)) -> rule2) OR ((((triple6) -> rule4)) -> rule2))] Fiona is furry.[(triple9 OR ((triple12) -> rule6))] Fiona is green.[(triple10 OR ((triple13) -> rule4) OR ((triple14) -> rule5))] Fiona is not cold.[(triple8)] Fiona is not red.[(triple11)] Fiona is rough.[(triple12)] Fiona is round.[(triple13)] Fiona is smart.[(triple14 OR ((triple10) -> rule2) OR ((((triple13) -> rule4)) -> rule2))]