Bob is big. Bob is blue. Bob is cold. Bob is red. Bob is rough. Bob is smart. Bob is white. Charlie is blue. Charlie is red. Charlie is rough. Erin is big. Erin is smart. Fiona is red. Fiona is white. Big people are smart. Big people are red. Rough, blue people are white. All rough, smart people are cold. Blue, cold people are big. All cold people are blue. If someone is big and red then they are rough. If Charlie is red and Charlie is blue then Charlie is rough. Red people are smart.
Charlie is big.
@0: Bob is big.[(triple1 OR ((triple2 triple3) -> rule5) OR ((triple2 ((triple5 triple6) -> rule4)) -> rule5) OR ((((triple3) -> rule6) triple3) -> rule5) OR ((((triple3) -> rule6) ((triple5 triple6) -> rule4)) -> rule5) OR ((triple2 ((triple5 ((triple4) -> rule9)) -> rule4)) -> rule5) OR ((((((triple5 triple6) -> rule4)) -> rule6) triple3) -> rule5) OR ((((triple3) -> rule6) ((triple5 ((triple4) -> rule9)) -> rule4)) -> rule5) OR ((((((triple5 triple6) -> rule4)) -> rule6) ((triple5 triple6) -> rule4)) -> rule5) OR ((((((triple5 triple6) -> rule4)) -> rule6) ((triple5 ((triple4) -> rule9)) -> rule4)) -> rule5) OR ((((((triple5 ((triple4) -> rule9)) -> rule4)) -> rule6) triple3) -> rule5) OR ((((((triple5 ((triple4) -> rule9)) -> rule4)) -> rule6) ((triple5 triple6) -> rule4)) -> rule5) OR ((((((triple5 ((triple4) -> rule9)) -> rule4)) -> rule6) ((triple5 ((triple4) -> rule9)) -> rule4)) -> rule5))] Bob is blue.[(triple2 OR ((triple3) -> rule6) OR ((((triple5 triple6) -> rule4)) -> rule6) OR ((((triple5 ((triple1) -> rule1)) -> rule4)) -> rule6) OR ((((triple5 ((triple4) -> rule9)) -> rule4)) -> rule6) OR ((((((triple1 triple4) -> rule7) triple6) -> rule4)) -> rule6) OR ((((((triple1 triple4) -> rule7) ((triple1) -> rule1)) -> rule4)) -> rule6) OR ((((((triple1 triple4) -> rule7) ((triple4) -> rule9)) -> rule4)) -> rule6) OR ((((triple5 ((((triple1) -> rule2)) -> rule9)) -> rule4)) -> rule6) OR ((((((triple1 ((triple1) -> rule2)) -> rule7) triple6) -> rule4)) -> rule6) OR ((((((triple1 triple4) -> rule7) ((((triple1) -> rule2)) -> rule9)) -> rule4)) -> rule6) OR ((((((triple1 ((triple1) -> rule2)) -> rule7) ((triple1) -> rule1)) -> rule4)) -> rule6) OR ((((((triple1 ((triple1) -> rule2)) -> rule7) ((triple4) -> rule9)) -> rule4)) -> rule6) OR ((((((triple1 ((triple1) -> rule2)) -> rule7) ((((triple1) -> rule2)) -> rule9)) -> rule4)) -> rule6))] Bob is cold.[(triple3 OR ((triple5 triple6) -> rule4) OR ((triple5 ((triple1) -> rule1)) -> rule4) OR ((triple5 ((triple4) -> rule9)) -> rule4) OR ((((triple1 triple4) -> rule7) triple6) -> rule4) OR ((((triple1 triple4) -> rule7) ((triple1) -> rule1)) -> rule4) OR ((((triple1 triple4) -> rule7) ((triple4) -> rule9)) -> rule4) OR ((triple5 ((((triple1) -> rule2)) -> rule9)) -> rule4) OR ((((triple1 ((triple1) -> rule2)) -> rule7) triple6) -> rule4) OR ((((triple1 triple4) -> rule7) ((((triple1) -> rule2)) -> rule9)) -> rule4) OR ((((triple1 ((triple1) -> rule2)) -> rule7) ((triple1) -> rule1)) -> rule4) OR ((((triple1 ((triple1) -> rule2)) -> rule7) ((triple4) -> rule9)) -> rule4) OR ((((triple1 ((triple1) -> rule2)) -> rule7) ((((triple1) -> rule2)) -> rule9)) -> rule4))] Bob is red.[(triple4 OR ((triple1) -> rule2) OR ((((triple2 triple3) -> rule5)) -> rule2) OR ((((triple2 ((triple5 triple6) -> rule4)) -> rule5)) -> rule2) OR ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2) OR ((((((triple3) -> rule6) ((triple5 triple6) -> rule4)) -> rule5)) -> rule2) OR ((((((((triple5 triple6) -> rule4)) -> rule6) triple3) -> rule5)) -> rule2) OR ((((((((triple5 triple6) -> rule4)) -> rule6) ((triple5 triple6) -> rule4)) -> rule5)) -> rule2))] Bob is rough.[(triple5 OR ((triple1 triple4) -> rule7) OR ((triple1 ((triple1) -> rule2)) -> rule7) OR ((((triple2 triple3) -> rule5) triple4) -> rule7) OR ((((triple2 triple3) -> rule5) ((triple1) -> rule2)) -> rule7) OR ((triple1 ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) OR ((((((triple3) -> rule6) triple3) -> rule5) triple4) -> rule7) OR ((((triple2 triple3) -> rule5) ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) OR ((((((triple3) -> rule6) triple3) -> rule5) ((triple1) -> rule2)) -> rule7) OR ((((((triple3) -> rule6) triple3) -> rule5) ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) OR ((triple1 ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7) OR ((((triple2 triple3) -> rule5) ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7) OR ((((((triple3) -> rule6) triple3) -> rule5) ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7))] Bob is smart.[(triple6 OR ((triple1) -> rule1) OR ((triple4) -> rule9) OR ((((triple1) -> rule2)) -> rule9) OR ((((triple2 triple3) -> rule5)) -> rule1) OR ((((((triple2 triple3) -> rule5)) -> rule2)) -> rule9) OR ((((((triple3) -> rule6) triple3) -> rule5)) -> rule1) OR ((((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule9))] Bob is white.[(triple7 OR ((triple5 triple2) -> rule3) OR ((triple5 ((triple3) -> rule6)) -> rule3) OR ((((triple1 triple4) -> rule7) triple2) -> rule3) OR ((((triple1 triple4) -> rule7) ((triple3) -> rule6)) -> rule3) OR ((triple5 ((((triple5 triple6) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 ((triple1) -> rule2)) -> rule7) triple2) -> rule3) OR ((((((triple2 triple3) -> rule5) triple4) -> rule7) triple2) -> rule3) OR ((((triple1 triple4) -> rule7) ((((triple5 triple6) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 ((triple1) -> rule2)) -> rule7) ((triple3) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) triple4) -> rule7) ((triple3) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) ((triple1) -> rule2)) -> rule7) triple2) -> rule3) OR ((((triple1 ((triple1) -> rule2)) -> rule7) ((((triple5 triple6) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) triple4) -> rule7) ((((triple5 triple6) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) ((triple1) -> rule2)) -> rule7) ((triple3) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) ((triple1) -> rule2)) -> rule7) ((((triple5 triple6) -> rule4)) -> rule6)) -> rule3) OR ((triple5 ((((triple5 ((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((triple5 ((((triple5 ((triple4) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((triple5 ((((((triple1 triple4) -> rule7) triple6) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) triple2) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) triple4) -> rule7) triple2) -> rule3) OR ((triple5 ((((((triple1 triple4) -> rule7) ((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((triple5 ((((((triple1 triple4) -> rule7) ((triple4) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 triple4) -> rule7) ((((triple5 ((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 triple4) -> rule7) ((((triple5 ((triple4) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 triple4) -> rule7) ((((((triple1 triple4) -> rule7) triple6) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) ((triple3) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) triple2) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) triple4) -> rule7) ((triple3) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) ((triple1) -> rule2)) -> rule7) triple2) -> rule3) OR ((((triple1 triple4) -> rule7) ((((((triple1 triple4) -> rule7) ((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 triple4) -> rule7) ((((((triple1 triple4) -> rule7) ((triple4) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 ((triple1) -> rule2)) -> rule7) ((((triple5 ((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 ((triple1) -> rule2)) -> rule7) ((((triple5 ((triple4) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 ((triple1) -> rule2)) -> rule7) ((((((triple1 triple4) -> rule7) triple6) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) ((((triple5 triple6) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) triple4) -> rule7) ((((triple5 ((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) triple4) -> rule7) ((((triple5 ((triple4) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) triple4) -> rule7) ((((((triple1 triple4) -> rule7) triple6) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) ((triple3) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) triple4) -> rule7) ((((triple5 triple6) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) ((triple1) -> rule2)) -> rule7) ((triple3) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) triple2) -> rule3) OR ((((triple1 ((triple1) -> rule2)) -> rule7) ((((((triple1 triple4) -> rule7) ((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 ((triple1) -> rule2)) -> rule7) ((((((triple1 triple4) -> rule7) ((triple4) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) ((((triple5 ((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) ((((triple5 ((triple4) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 triple4) -> rule7) triple6) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) triple4) -> rule7) ((((((triple1 triple4) -> rule7) ((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) triple4) -> rule7) ((((((triple1 triple4) -> rule7) ((triple4) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) ((triple1) -> rule2)) -> rule7) ((((triple5 ((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) ((triple1) -> rule2)) -> rule7) ((((triple5 ((triple4) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) ((triple1) -> rule2)) -> rule7) ((((((triple1 triple4) -> rule7) triple6) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) ((((triple5 triple6) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) triple4) -> rule7) ((((triple5 ((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) triple4) -> rule7) ((((triple5 ((triple4) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) triple4) -> rule7) ((((((triple1 triple4) -> rule7) triple6) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) ((triple1) -> rule2)) -> rule7) ((((triple5 triple6) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) ((triple3) -> rule6)) -> rule3) OR ((((triple1 ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 triple4) -> rule7) ((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 triple4) -> rule7) ((triple4) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) ((triple1) -> rule2)) -> rule7) ((((((triple1 triple4) -> rule7) ((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) ((triple1) -> rule2)) -> rule7) ((((((triple1 triple4) -> rule7) ((triple4) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) ((((triple5 ((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) ((((triple5 ((triple4) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 triple4) -> rule7) triple6) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) triple4) -> rule7) ((((((triple1 triple4) -> rule7) ((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) triple4) -> rule7) ((((((triple1 triple4) -> rule7) ((triple4) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) ((triple1) -> rule2)) -> rule7) ((((triple5 ((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) ((triple1) -> rule2)) -> rule7) ((((triple5 ((triple4) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) ((triple1) -> rule2)) -> rule7) ((((((triple1 triple4) -> rule7) triple6) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) ((((triple5 triple6) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 triple4) -> rule7) ((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 triple4) -> rule7) ((triple4) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) ((triple1) -> rule2)) -> rule7) ((((((triple1 triple4) -> rule7) ((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) ((triple1) -> rule2)) -> rule7) ((((((triple1 triple4) -> rule7) ((triple4) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) ((((triple5 ((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) ((((triple5 ((triple4) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 triple4) -> rule7) triple6) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 triple4) -> rule7) ((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 triple4) -> rule7) ((triple4) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((triple5 ((((triple5 ((((triple1) -> rule2)) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((triple5 ((((((triple1 ((triple1) -> rule2)) -> rule7) triple6) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7) triple2) -> rule3) OR ((triple5 ((((((triple1 triple4) -> rule7) ((((triple1) -> rule2)) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((triple5 ((((((triple1 ((triple1) -> rule2)) -> rule7) ((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((triple5 ((((((triple1 ((triple1) -> rule2)) -> rule7) ((triple4) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 triple4) -> rule7) ((((triple5 ((((triple1) -> rule2)) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 triple4) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) triple6) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7) ((triple3) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7) triple2) -> rule3) OR ((triple5 ((((((triple1 ((triple1) -> rule2)) -> rule7) ((((triple1) -> rule2)) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 triple4) -> rule7) ((((((triple1 triple4) -> rule7) ((((triple1) -> rule2)) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 triple4) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) ((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 triple4) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) ((triple4) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 ((triple1) -> rule2)) -> rule7) ((((triple5 ((((triple1) -> rule2)) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 ((triple1) -> rule2)) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) triple6) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7) ((((triple5 triple6) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) triple4) -> rule7) ((((triple5 ((((triple1) -> rule2)) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) triple4) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) triple6) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7) ((triple3) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7) triple2) -> rule3) OR ((((triple1 triple4) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) ((((triple1) -> rule2)) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 ((triple1) -> rule2)) -> rule7) ((((((triple1 triple4) -> rule7) ((((triple1) -> rule2)) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 ((triple1) -> rule2)) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) ((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 ((triple1) -> rule2)) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) ((triple4) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) ((((triple5 ((((triple1) -> rule2)) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) triple6) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7) ((((triple5 ((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7) ((((triple5 ((triple4) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 triple4) -> rule7) triple6) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) triple4) -> rule7) ((((((triple1 triple4) -> rule7) ((((triple1) -> rule2)) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) triple4) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) ((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) triple4) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) ((triple4) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) ((triple1) -> rule2)) -> rule7) ((((triple5 ((((triple1) -> rule2)) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) ((triple1) -> rule2)) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) triple6) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7) ((((triple5 triple6) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) triple4) -> rule7) ((((triple5 ((((triple1) -> rule2)) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) triple4) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) triple6) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7) ((triple3) -> rule6)) -> rule3) OR ((((triple1 ((triple1) -> rule2)) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) ((((triple1) -> rule2)) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 triple4) -> rule7) ((((triple1) -> rule2)) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) ((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) ((triple4) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7) ((((triple5 ((((triple1) -> rule2)) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 triple4) -> rule7) ((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 triple4) -> rule7) ((triple4) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) triple6) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) triple4) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) ((((triple1) -> rule2)) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) ((triple1) -> rule2)) -> rule7) ((((((triple1 triple4) -> rule7) ((((triple1) -> rule2)) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) ((triple1) -> rule2)) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) ((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) ((triple1) -> rule2)) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) ((triple4) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) ((((triple5 ((((triple1) -> rule2)) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) triple6) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7) ((((triple5 ((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7) ((((triple5 ((triple4) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 triple4) -> rule7) triple6) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) triple4) -> rule7) ((((((triple1 triple4) -> rule7) ((((triple1) -> rule2)) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) triple4) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) ((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) triple4) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) ((triple4) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) ((triple1) -> rule2)) -> rule7) ((((triple5 ((((triple1) -> rule2)) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) ((triple1) -> rule2)) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) triple6) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7) ((((triple5 triple6) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) ((((triple1) -> rule2)) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 triple4) -> rule7) ((((triple1) -> rule2)) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) ((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) ((triple4) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) ((triple1) -> rule2)) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) ((((triple1) -> rule2)) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 triple4) -> rule7) ((((triple1) -> rule2)) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) ((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) ((triple4) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7) ((((triple5 ((((triple1) -> rule2)) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 triple4) -> rule7) ((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 triple4) -> rule7) ((triple4) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) triple6) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) triple4) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) ((((triple1) -> rule2)) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) ((triple1) -> rule2)) -> rule7) ((((((triple1 triple4) -> rule7) ((((triple1) -> rule2)) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) ((triple1) -> rule2)) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) ((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) ((triple1) -> rule2)) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) ((triple4) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) ((((triple5 ((((triple1) -> rule2)) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) triple6) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7) ((((triple5 ((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7) ((((triple5 ((triple4) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 triple4) -> rule7) triple6) -> rule4)) -> rule6)) -> rule3) OR ((((triple1 ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) ((((triple1) -> rule2)) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) ((((triple1) -> rule2)) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 triple4) -> rule7) ((((triple1) -> rule2)) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) ((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) ((triple4) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) ((triple1) -> rule2)) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) ((((triple1) -> rule2)) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 triple4) -> rule7) ((((triple1) -> rule2)) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) ((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) ((triple4) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7) ((((triple5 ((((triple1) -> rule2)) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 triple4) -> rule7) ((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 triple4) -> rule7) ((triple4) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) triple6) -> rule4)) -> rule6)) -> rule3) OR ((((((triple2 triple3) -> rule5) ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) ((((triple1) -> rule2)) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) ((((triple2 triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) ((((triple1) -> rule2)) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 triple4) -> rule7) ((((triple1) -> rule2)) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) ((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) ((triple4) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule6) triple3) -> rule5) ((((((triple3) -> rule6) triple3) -> rule5)) -> rule2)) -> rule7) ((((((triple1 ((triple1) -> rule2)) -> rule7) ((((triple1) -> rule2)) -> rule9)) -> rule4)) -> rule6)) -> rule3))] Charlie is blue.[(triple8 OR ((((triple10 ((triple9) -> rule9)) -> rule4)) -> rule6))] Charlie is red.[(triple9)] Charlie is rough.[(triple10 OR ((triple9 triple8) -> rule8))] Erin is big.[(triple11)] Erin is smart.[(triple12 OR ((triple11) -> rule1) OR ((((triple11) -> rule2)) -> rule9))] Fiona is red.[(triple13)] Fiona is white.[(triple14)] @1: Charlie is smart.[(((triple9) -> rule9))] Charlie is white.[(((triple10 triple8) -> rule3) OR ((((triple9 triple8) -> rule8) triple8) -> rule3) OR ((triple10 ((((triple10 ((triple9) -> rule9)) -> rule4)) -> rule6)) -> rule3) OR ((((triple9 triple8) -> rule8) ((((triple10 ((triple9) -> rule9)) -> rule4)) -> rule6)) -> rule3))] Erin is red.[(((triple11) -> rule2))] Fiona is smart.[(((triple13) -> rule9))] @2: Charlie is cold.[(((triple10 ((triple9) -> rule9)) -> rule4) OR ((((triple9 triple8) -> rule8) ((triple9) -> rule9)) -> rule4))] Erin is rough.[(((triple11 ((triple11) -> rule2)) -> rule7))] @3: Charlie is big.[(((triple8 ((triple10 ((triple9) -> rule9)) -> rule4)) -> rule5) OR ((triple8 ((((triple9 triple8) -> rule8) ((triple9) -> rule9)) -> rule4)) -> rule5) OR ((((((triple10 ((triple9) -> rule9)) -> rule4)) -> rule6) ((triple10 ((triple9) -> rule9)) -> rule4)) -> rule5) OR ((((((triple10 ((triple9) -> rule9)) -> rule4)) -> rule6) ((((triple9 triple8) -> rule8) ((triple9) -> rule9)) -> rule4)) -> rule5))] Erin is cold.[(((((triple11 ((triple11) -> rule2)) -> rule7) triple12) -> rule4) OR ((((triple11 ((triple11) -> rule2)) -> rule7) ((triple11) -> rule1)) -> rule4) OR ((((triple11 ((triple11) -> rule2)) -> rule7) ((((triple11) -> rule2)) -> rule9)) -> rule4))] @4: Erin is blue.[(((((((triple11 ((triple11) -> rule2)) -> rule7) triple12) -> rule4)) -> rule6) OR ((((((triple11 ((triple11) -> rule2)) -> rule7) ((triple11) -> rule1)) -> rule4)) -> rule6) OR ((((((triple11 ((triple11) -> rule2)) -> rule7) ((((triple11) -> rule2)) -> rule9)) -> rule4)) -> rule6))] @5: Erin is white.[(((((triple11 ((triple11) -> rule2)) -> rule7) ((((((triple11 ((triple11) -> rule2)) -> rule7) triple12) -> rule4)) -> rule6)) -> rule3) OR ((((triple11 ((triple11) -> rule2)) -> rule7) ((((((triple11 ((triple11) -> rule2)) -> rule7) ((triple11) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((triple11 ((triple11) -> rule2)) -> rule7) ((((((triple11 ((triple11) -> rule2)) -> rule7) ((((triple11) -> rule2)) -> rule9)) -> rule4)) -> rule6)) -> rule3))]