Bob is big. Bob is blue. Bob is green. Bob is kind. Bob is nice. Bob is smart. Bob is white. Fiona is green. Fiona is nice. Fiona is smart. All white, smart things are big. All big things are smart. If Bob is smart then Bob is blue. If Bob is green and Bob is nice then Bob is big. Smart, blue things are green. All nice things are white. If Bob is white then Bob is nice. Blue, kind things are nice.
Fiona is not green.
@0: Bob is big.[(triple1 OR ((triple3 triple5) -> rule4) OR ((triple7 triple6) -> rule1) OR ((triple3 ((triple7) -> rule7)) -> rule4) OR ((triple3 ((triple2 triple4) -> rule8)) -> rule4) OR ((((triple5) -> rule6) triple6) -> rule1) OR ((((triple6 triple2) -> rule5) triple5) -> rule4) OR ((((triple6 triple2) -> rule5) ((triple7) -> rule7)) -> rule4) OR ((((triple6 triple2) -> rule5) ((triple2 triple4) -> rule8)) -> rule4) OR ((triple3 ((((triple6) -> rule3) triple4) -> rule8)) -> rule4) OR ((((((triple2 triple4) -> rule8)) -> rule6) triple6) -> rule1) OR ((((triple6 ((triple6) -> rule3)) -> rule5) triple5) -> rule4) OR ((((triple6 triple2) -> rule5) ((((triple6) -> rule3) triple4) -> rule8)) -> rule4) OR ((((triple6 ((triple6) -> rule3)) -> rule5) ((triple7) -> rule7)) -> rule4) OR ((((triple6 ((triple6) -> rule3)) -> rule5) ((triple2 triple4) -> rule8)) -> rule4) OR ((((triple6 ((triple6) -> rule3)) -> rule5) ((((triple6) -> rule3) triple4) -> rule8)) -> rule4) OR ((((((((triple6) -> rule3) triple4) -> rule8)) -> rule6) triple6) -> rule1))] Bob is blue.[(triple2 OR ((triple6) -> rule3) OR ((((triple1) -> rule2)) -> rule3) OR ((((((triple3 triple5) -> rule4)) -> rule2)) -> rule3) OR ((((((triple3 ((triple7) -> rule7)) -> rule4)) -> rule2)) -> rule3))] Bob is green.[(triple3 OR ((triple6 triple2) -> rule5) OR ((triple6 ((triple6) -> rule3)) -> rule5) OR ((((triple1) -> rule2) triple2) -> rule5) OR ((((triple1) -> rule2) ((triple6) -> rule3)) -> rule5) OR ((triple6 ((((triple1) -> rule2)) -> rule3)) -> rule5) OR ((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule3)) -> rule5))] Bob is kind.[(triple4)] Bob is nice.[(triple5 OR ((triple7) -> rule7) OR ((triple2 triple4) -> rule8) OR ((((triple6) -> rule3) triple4) -> rule8) OR ((((((triple1) -> rule2)) -> rule3) triple4) -> rule8))] Bob is smart.[(triple6 OR ((triple1) -> rule2) OR ((((triple3 triple5) -> rule4)) -> rule2) OR ((((triple3 ((triple7) -> rule7)) -> rule4)) -> rule2) OR ((((triple3 ((triple2 triple4) -> rule8)) -> rule4)) -> rule2))] Bob is white.[(triple7 OR ((triple5) -> rule6) OR ((((triple2 triple4) -> rule8)) -> rule6) OR ((((((triple6) -> rule3) triple4) -> rule8)) -> rule6) OR ((((((((triple1) -> rule2)) -> rule3) triple4) -> rule8)) -> rule6))] Fiona is green.[(triple8)] Fiona is nice.[(triple9)] Fiona is smart.[(triple10)] @1: Fiona is white.[(((triple9) -> rule6))] @2: Fiona is big.[(((((triple9) -> rule6) triple10) -> rule1))]