Bob is kind. Charlie is cold. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is smart. Fiona is quiet. Fiona is smart. Gary is nice. Gary is quiet. Gary is white. If Fiona is cold then Fiona is nice. All nice things are white. If something is white then it is nice. Nice, white things are quiet. White, smart things are rough. Smart, kind things are rough. All cold things are white. If Bob is kind then Bob is white. Quiet, kind things are smart.
Bob is smart.
@0: Bob is kind.[(triple1)] Charlie is cold.[(triple2)] Charlie is kind.[(triple3)] Charlie is nice.[(triple4 OR ((((triple2) -> rule7)) -> rule3))] Charlie is quiet.[(triple5 OR ((triple4 ((triple2) -> rule7)) -> rule4) OR ((triple4 ((triple4) -> rule2)) -> rule4) OR ((((((triple2) -> rule7)) -> rule3) ((triple2) -> rule7)) -> rule4) OR ((((((triple2) -> rule7)) -> rule3) ((triple4) -> rule2)) -> rule4))] Charlie is smart.[(triple6 OR ((triple5 triple3) -> rule9) OR ((((triple4 ((triple2) -> rule7)) -> rule4) triple3) -> rule9) OR ((((triple4 ((triple4) -> rule2)) -> rule4) triple3) -> rule9) OR ((((((((triple2) -> rule7)) -> rule3) ((triple2) -> rule7)) -> rule4) triple3) -> rule9) OR ((((((((triple2) -> rule7)) -> rule3) ((triple4) -> rule2)) -> rule4) triple3) -> rule9))] Fiona is quiet.[(triple7)] Fiona is smart.[(triple8)] Gary is nice.[(triple9 OR ((triple11) -> rule3))] Gary is quiet.[(triple10 OR ((triple9 triple11) -> rule4) OR ((triple9 ((triple9) -> rule2)) -> rule4) OR ((((triple11) -> rule3) triple11) -> rule4) OR ((((triple11) -> rule3) ((triple9) -> rule2)) -> rule4))] Gary is white.[(triple11 OR ((triple9) -> rule2))] @1: Bob is white.[(((triple1) -> rule8))] Charlie is rough.[(((triple6 triple3) -> rule6) OR ((((triple2) -> rule7) triple6) -> rule5) OR ((((triple4) -> rule2) triple6) -> rule5) OR ((((triple5 triple3) -> rule9) triple3) -> rule6) OR ((((triple2) -> rule7) ((triple5 triple3) -> rule9)) -> rule5) OR ((((triple4) -> rule2) ((triple5 triple3) -> rule9)) -> rule5) OR ((((((triple4 ((triple2) -> rule7)) -> rule4) triple3) -> rule9) triple3) -> rule6) OR ((((((triple4 ((triple4) -> rule2)) -> rule4) triple3) -> rule9) triple3) -> rule6) OR ((((triple2) -> rule7) ((((triple4 ((triple2) -> rule7)) -> rule4) triple3) -> rule9)) -> rule5) OR ((((triple2) -> rule7) ((((triple4 ((triple4) -> rule2)) -> rule4) triple3) -> rule9)) -> rule5) OR ((((triple4) -> rule2) ((((triple4 ((triple2) -> rule7)) -> rule4) triple3) -> rule9)) -> rule5) OR ((((triple4) -> rule2) ((((triple4 ((triple4) -> rule2)) -> rule4) triple3) -> rule9)) -> rule5) OR ((((((((((triple2) -> rule7)) -> rule3) ((triple2) -> rule7)) -> rule4) triple3) -> rule9) triple3) -> rule6) OR ((((((((((triple2) -> rule7)) -> rule3) ((triple4) -> rule2)) -> rule4) triple3) -> rule9) triple3) -> rule6) OR ((((triple2) -> rule7) ((((((((triple2) -> rule7)) -> rule3) ((triple2) -> rule7)) -> rule4) triple3) -> rule9)) -> rule5) OR ((((triple2) -> rule7) ((((((((triple2) -> rule7)) -> rule3) ((triple4) -> rule2)) -> rule4) triple3) -> rule9)) -> rule5) OR ((((triple4) -> rule2) ((((((((triple2) -> rule7)) -> rule3) ((triple2) -> rule7)) -> rule4) triple3) -> rule9)) -> rule5) OR ((((triple4) -> rule2) ((((((((triple2) -> rule7)) -> rule3) ((triple4) -> rule2)) -> rule4) triple3) -> rule9)) -> rule5))] Charlie is white.[(((triple2) -> rule7) OR ((triple4) -> rule2))] @2: Bob is nice.[(((((triple1) -> rule8)) -> rule3))] @3: Bob is quiet.[(((((((triple1) -> rule8)) -> rule3) ((triple1) -> rule8)) -> rule4))] @4: Bob is smart.[(((((((((triple1) -> rule8)) -> rule3) ((triple1) -> rule8)) -> rule4) triple1) -> rule9))] @5: Bob is rough.[(((((((((((triple1) -> rule8)) -> rule3) ((triple1) -> rule8)) -> rule4) triple1) -> rule9) triple1) -> rule6) OR ((((triple1) -> rule8) ((((((((triple1) -> rule8)) -> rule3) ((triple1) -> rule8)) -> rule4) triple1) -> rule9)) -> rule5))]