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