Anne is cold. Anne is green. Anne is kind. Anne is nice. Anne is round. Anne is smart. Anne is young. Bob is cold. Bob is green. Bob is kind. Bob is nice. Bob is round. Bob is smart. Bob is young. All round, smart people are green. If Anne is smart then Anne is green. All nice people are cold. If someone is young and green then they are smart. Nice, young people are cold. Nice, cold people are kind. Smart people are green. If Bob is kind and Bob is young then Bob is cold.
Bob is round.
@0: Anne is cold.[(triple1 OR ((triple4) -> rule3) OR ((triple4 triple7) -> rule5))] Anne is green.[(triple2 OR ((triple6) -> rule2) OR ((triple6) -> rule7) OR ((triple5 triple6) -> rule1))] Anne is kind.[(triple3 OR ((triple4 triple1) -> rule6) OR ((triple4 ((triple4) -> rule3)) -> rule6) OR ((triple4 ((triple4 triple7) -> rule5)) -> rule6))] Anne is nice.[(triple4)] Anne is round.[(triple5)] Anne is smart.[(triple6 OR ((triple7 triple2) -> rule4))] Anne is young.[(triple7)] Bob is cold.[(triple8 OR ((triple11) -> rule3) OR ((triple10 triple14) -> rule8) OR ((triple11 triple14) -> rule5))] Bob is green.[(triple9 OR ((triple13) -> rule7) OR ((triple12 triple13) -> rule1))] Bob is kind.[(triple10 OR ((triple11 triple8) -> rule6) OR ((triple11 ((triple11) -> rule3)) -> rule6) OR ((triple11 ((triple11 triple14) -> rule5)) -> rule6))] Bob is nice.[(triple11)] Bob is round.[(triple12)] Bob is smart.[(triple13 OR ((triple14 triple9) -> rule4))] Bob is young.[(triple14)]