Bob is big. Bob is cold. Bob is furry. Bob is green. Bob is rough. Bob is round. Charlie is nice. Charlie is round. Fiona is big. Fiona is cold. Fiona is furry. Fiona is green. Fiona is nice. Fiona is rough. Fiona is round. If Charlie is green and Charlie is furry then Charlie is big. All big, green people are cold. If Bob is furry then Bob is cold. Nice people are round. All green, furry people are cold. Big people are furry.
Charlie is green.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2 OR ((triple3) -> rule3) OR ((triple1 triple4) -> rule2) OR ((triple4 triple3) -> rule5) OR ((((triple1) -> rule6)) -> rule3) OR ((triple4 ((triple1) -> rule6)) -> rule5))] Bob is furry.[(triple3 OR ((triple1) -> rule6))] Bob is green.[(triple4)] Bob is rough.[(triple5)] Bob is round.[(triple6)] Charlie is nice.[(triple7)] Charlie is round.[(triple8 OR ((triple7) -> rule4))] Fiona is big.[(triple9)] Fiona is cold.[(triple10 OR ((triple12 triple11) -> rule5) OR ((triple9 triple12) -> rule2) OR ((triple12 ((triple9) -> rule6)) -> rule5))] Fiona is furry.[(triple11 OR ((triple9) -> rule6))] Fiona is green.[(triple12)] Fiona is nice.[(triple13)] Fiona is rough.[(triple14)] Fiona is round.[(triple15 OR ((triple13) -> rule4))]