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