Anne is blue. Anne is nice. Charlie is blue. Charlie is green. Charlie is kind. Charlie is nice. Charlie is red. Charlie is rough. Charlie is white. Fiona is white. Gary is blue. Gary is white. All kind, white things are green. Green, rough things are blue. All kind, blue things are nice. All white things are kind. All green, nice things are white. If Gary is rough then Gary is green. If something is green and white then it is rough. Rough things are white. If Charlie is rough then Charlie is green.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is white.
("Gary" "is" "white" "+")
All kind, white things are green.
((("something" "is" "kind" "+") ("something" "is" "white" "+")) -> ("something" "is" "green" "+"))
Green, rough things are blue.
((("something" "is" "green" "+") ("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
All kind, blue things are nice.
((("something" "is" "kind" "+") ("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
All white things are kind.
((("something" "is" "white" "+")) -> ("something" "is" "kind" "+"))
All green, nice things are white.
((("something" "is" "green" "+") ("something" "is" "nice" "+")) -> ("something" "is" "white" "+"))
If Gary is rough then Gary is green.
((("Gary" "is" "rough" "+")) -> ("Gary" "is" "green" "+"))
If something is green and white then it is rough.
((("something" "is" "green" "+") ("something" "is" "white" "+")) -> ("something" "is" "rough" "+"))
Rough things are white.
((("something" "is" "rough" "+")) -> ("something" "is" "white" "+"))
If Charlie is rough then Charlie is green.
((("Charlie" "is" "rough" "+")) -> ("Charlie" "is" "green" "+"))
Charlie is kind.
True
1
proof
[(triple5 OR ((triple9) -> rule4) OR ((((triple8) -> rule8)) -> rule4) OR ((((triple4 triple6) -> rule5)) -> rule4) OR ((((((triple8) -> rule9) triple6) -> rule5)) -> rule4))]
("Charlie" "is" "kind" "+")
triple5
((triple9) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((((triple8) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((((triple4 triple6) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((((((triple8) -> (rule9 % int3)) triple6) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is not blue.
False
1
inv-proof
[(triple3 OR ((triple4 triple8) -> rule2) OR ((triple4 ((triple4 triple9) -> rule7)) -> rule2) OR ((((triple8) -> rule9) triple8) -> rule2) OR ((((triple5 triple9) -> rule1) triple8) -> rule2) OR ((((triple8) -> rule9) ((triple4 triple9) -> rule7)) -> rule2) OR ((((triple5 triple9) -> rule1) ((triple4 triple9) -> rule7)) -> rule2) OR ((triple4 ((triple4 ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((triple4 ((((triple5 triple9) -> rule1) triple9) -> rule7)) -> rule2) OR ((((triple5 ((triple8) -> rule8)) -> rule1) triple8) -> rule2) OR ((((((triple9) -> rule4) triple9) -> rule1) triple8) -> rule2) OR ((triple4 ((((triple5 triple9) -> rule1) ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((((triple8) -> rule9) ((triple4 ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((((triple8) -> rule9) ((((triple5 triple9) -> rule1) triple9) -> rule7)) -> rule2) OR ((((triple5 triple9) -> rule1) ((triple4 ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((((triple5 triple9) -> rule1) ((((triple5 triple9) -> rule1) triple9) -> rule7)) -> rule2) OR ((((triple5 ((triple8) -> rule8)) -> rule1) ((triple4 triple9) -> rule7)) -> rule2) OR ((((((triple9) -> rule4) triple9) -> rule1) ((triple4 triple9) -> rule7)) -> rule2) OR ((((((triple9) -> rule4) ((triple8) -> rule8)) -> rule1) triple8) -> rule2) OR ((((triple8) -> rule9) ((((triple5 triple9) -> rule1) ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((((triple5 triple9) -> rule1) ((((triple5 triple9) -> rule1) ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((((triple5 ((triple8) -> rule8)) -> rule1) ((triple4 ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((((triple5 ((triple8) -> rule8)) -> rule1) ((((triple5 triple9) -> rule1) triple9) -> rule7)) -> rule2) OR ((((((triple9) -> rule4) triple9) -> rule1) ((triple4 ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((((((triple9) -> rule4) triple9) -> rule1) ((((triple5 triple9) -> rule1) triple9) -> rule7)) -> rule2) OR ((((((triple9) -> rule4) ((triple8) -> rule8)) -> rule1) ((triple4 triple9) -> rule7)) -> rule2) OR ((((triple5 ((triple8) -> rule8)) -> rule1) ((((triple5 triple9) -> rule1) ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((((((triple9) -> rule4) triple9) -> rule1) ((((triple5 triple9) -> rule1) ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((((((triple9) -> rule4) ((triple8) -> rule8)) -> rule1) ((triple4 ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((((((triple9) -> rule4) ((triple8) -> rule8)) -> rule1) ((((triple5 triple9) -> rule1) triple9) -> rule7)) -> rule2) OR ((((((triple9) -> rule4) ((triple8) -> rule8)) -> rule1) ((((triple5 triple9) -> rule1) ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((triple4 ((((((triple9) -> rule4) triple9) -> rule1) triple9) -> rule7)) -> rule2) OR ((((((((triple8) -> rule8)) -> rule4) triple9) -> rule1) triple8) -> rule2) OR ((triple4 ((((((triple9) -> rule4) triple9) -> rule1) ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((((triple8) -> rule9) ((((((triple9) -> rule4) triple9) -> rule1) triple9) -> rule7)) -> rule2) OR ((((triple5 triple9) -> rule1) ((((((triple9) -> rule4) triple9) -> rule1) triple9) -> rule7)) -> rule2) OR ((((((((triple8) -> rule8)) -> rule4) triple9) -> rule1) ((triple4 triple9) -> rule7)) -> rule2) OR ((((((((triple8) -> rule8)) -> rule4) ((triple8) -> rule8)) -> rule1) triple8) -> rule2) OR ((((triple8) -> rule9) ((((((triple9) -> rule4) triple9) -> rule1) ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((((triple5 triple9) -> rule1) ((((((triple9) -> rule4) triple9) -> rule1) ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((((triple5 ((triple8) -> rule8)) -> rule1) ((((((triple9) -> rule4) triple9) -> rule1) triple9) -> rule7)) -> rule2) OR ((((((triple9) -> rule4) triple9) -> rule1) ((((((triple9) -> rule4) triple9) -> rule1) triple9) -> rule7)) -> rule2) OR ((((((((triple8) -> rule8)) -> rule4) triple9) -> rule1) ((triple4 ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple8) -> rule8)) -> rule4) triple9) -> rule1) ((((triple5 triple9) -> rule1) triple9) -> rule7)) -> rule2) OR ((((((((triple8) -> rule8)) -> rule4) ((triple8) -> rule8)) -> rule1) ((triple4 triple9) -> rule7)) -> rule2) OR ((((triple5 ((triple8) -> rule8)) -> rule1) ((((((triple9) -> rule4) triple9) -> rule1) ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((((((triple9) -> rule4) triple9) -> rule1) ((((((triple9) -> rule4) triple9) -> rule1) ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((((((triple9) -> rule4) ((triple8) -> rule8)) -> rule1) ((((((triple9) -> rule4) triple9) -> rule1) triple9) -> rule7)) -> rule2) OR ((((((((triple8) -> rule8)) -> rule4) triple9) -> rule1) ((((triple5 triple9) -> rule1) ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple8) -> rule8)) -> rule4) triple9) -> rule1) ((((((triple9) -> rule4) triple9) -> rule1) triple9) -> rule7)) -> rule2) OR ((((((((triple8) -> rule8)) -> rule4) ((triple8) -> rule8)) -> rule1) ((triple4 ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple8) -> rule8)) -> rule4) ((triple8) -> rule8)) -> rule1) ((((triple5 triple9) -> rule1) triple9) -> rule7)) -> rule2) OR ((((((triple9) -> rule4) ((triple8) -> rule8)) -> rule1) ((((((triple9) -> rule4) triple9) -> rule1) ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple8) -> rule8)) -> rule4) triple9) -> rule1) ((((((triple9) -> rule4) triple9) -> rule1) ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple8) -> rule8)) -> rule4) ((triple8) -> rule8)) -> rule1) ((((triple5 triple9) -> rule1) ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple8) -> rule8)) -> rule4) ((triple8) -> rule8)) -> rule1) ((((((triple9) -> rule4) triple9) -> rule1) triple9) -> rule7)) -> rule2) OR ((((((((triple8) -> rule8)) -> rule4) ((triple8) -> rule8)) -> rule1) ((((((triple9) -> rule4) triple9) -> rule1) ((triple4 triple6) -> rule5)) -> rule7)) -> rule2))]
("Charlie" "is" "blue" "-")
triple3
((triple4 triple8) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((triple4 ((triple4 triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((triple8) -> (rule9 % int2)) triple8) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((((triple5 triple9) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((((triple8) -> (rule9 % int3)) ((triple4 triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple5 triple9) -> (rule1 % int3)) ((triple4 triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((triple4 ((triple4 ((triple4 triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((triple4 ((((triple5 triple9) -> (rule1 % int3)) triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple5 ((triple8) -> (rule8 % int3))) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((((triple9) -> (rule4 % int3)) triple9) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((triple4 ((((triple5 triple9) -> (rule1 % int4)) ((triple4 triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((triple8) -> (rule9 % int4)) ((triple4 ((triple4 triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((triple8) -> (rule9 % int3)) ((((triple5 triple9) -> (rule1 % int3)) triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple5 triple9) -> (rule1 % int4)) ((triple4 ((triple4 triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((triple5 triple9) -> (rule1 % int3)) ((((triple5 triple9) -> (rule1 % int3)) triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple5 ((triple8) -> (rule8 % int4))) -> (rule1 % int3)) ((triple4 triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((triple9) -> (rule4 % int4)) triple9) -> (rule1 % int3)) ((triple4 triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple9) -> (rule4 % int4)) ((triple8) -> (rule8 % int3))) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple8) -> (rule9 % int4)) ((((triple5 triple9) -> (rule1 % int4)) ((triple4 triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((triple5 triple9) -> (rule1 % int4)) ((((triple5 triple9) -> (rule1 % int4)) ((triple4 triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((triple5 ((triple8) -> (rule8 % int4))) -> (rule1 % int3)) ((triple4 ((triple4 triple6) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((triple5 ((triple8) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple5 triple9) -> (rule1 % int3)) triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((triple9) -> (rule4 % int5)) triple9) -> (rule1 % int4)) ((triple4 ((triple4 triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((triple9) -> (rule4 % int4)) triple9) -> (rule1 % int3)) ((((triple5 triple9) -> (rule1 % int3)) triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple9) -> (rule4 % int5)) ((triple8) -> (rule8 % int4))) -> (rule1 % int3)) ((triple4 triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((triple5 ((triple8) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple5 triple9) -> (rule1 % int3)) ((triple4 triple6) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((triple9) -> (rule4 % int5)) triple9) -> (rule1 % int4)) ((((triple5 triple9) -> (rule1 % int4)) ((triple4 triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((triple9) -> (rule4 % int5)) ((triple8) -> (rule8 % int4))) -> (rule1 % int3)) ((triple4 ((triple4 triple6) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((triple9) -> (rule4 % int5)) ((triple8) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple5 triple9) -> (rule1 % int3)) triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((triple9) -> (rule4 % int5)) ((triple8) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple5 triple9) -> (rule1 % int3)) ((triple4 triple6) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((triple4 ((((((triple9) -> (rule4 % int4)) triple9) -> (rule1 % int3)) triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((((triple8) -> (rule8 % int4))) -> (rule4 % int3)) triple9) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((triple4 ((((((triple9) -> (rule4 % int5)) triple9) -> (rule1 % int4)) ((triple4 triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((triple8) -> (rule9 % int4)) ((((((triple9) -> (rule4 % int3)) triple9) -> (rule1 % int4)) triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((triple5 triple9) -> (rule1 % int4)) ((((((triple9) -> (rule4 % int3)) triple9) -> (rule1 % int4)) triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((((((triple8) -> (rule8 % int5))) -> (rule4 % int4)) triple9) -> (rule1 % int3)) ((triple4 triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((((triple8) -> (rule8 % int4))) -> (rule4 % int3)) ((triple8) -> (rule8 % int4))) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((triple8) -> (rule9 % int5)) ((((((triple9) -> (rule4 % int4)) triple9) -> (rule1 % int5)) ((triple4 triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((((triple5 triple9) -> (rule1 % int5)) ((((((triple9) -> (rule4 % int4)) triple9) -> (rule1 % int5)) ((triple4 triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((((triple5 ((triple8) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple9) -> (rule4 % int3)) triple9) -> (rule1 % int4)) triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((triple9) -> (rule4 % int4)) triple9) -> (rule1 % int3)) ((((((triple9) -> (rule4 % int4)) triple9) -> (rule1 % int3)) triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((((triple8) -> (rule8 % int5))) -> (rule4 % int4)) triple9) -> (rule1 % int3)) ((triple4 ((triple4 triple6) -> (rule5 % int5))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((((triple8) -> (rule8 % int5))) -> (rule4 % int4)) triple9) -> (rule1 % int3)) ((((triple5 triple9) -> (rule1 % int3)) triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((((triple8) -> (rule8 % int5))) -> (rule4 % int4)) ((triple8) -> (rule8 % int5))) -> (rule1 % int3)) ((triple4 triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((triple5 ((triple8) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple9) -> (rule4 % int3)) triple9) -> (rule1 % int4)) ((triple4 triple6) -> (rule5 % int5))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((triple9) -> (rule4 % int5)) triple9) -> (rule1 % int4)) ((((((triple9) -> (rule4 % int5)) triple9) -> (rule1 % int4)) ((triple4 triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((triple9) -> (rule4 % int5)) ((triple8) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple9) -> (rule4 % int5)) triple9) -> (rule1 % int3)) triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((triple8) -> (rule8 % int5))) -> (rule4 % int4)) triple9) -> (rule1 % int3)) ((((triple5 triple9) -> (rule1 % int3)) ((triple4 triple6) -> (rule5 % int5))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((((triple8) -> (rule8 % int5))) -> (rule4 % int4)) triple9) -> (rule1 % int3)) ((((((triple9) -> (rule4 % int4)) triple9) -> (rule1 % int3)) triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((((triple8) -> (rule8 % int5))) -> (rule4 % int4)) ((triple8) -> (rule8 % int5))) -> (rule1 % int3)) ((triple4 ((triple4 triple6) -> (rule5 % int5))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((((triple8) -> (rule8 % int5))) -> (rule4 % int4)) ((triple8) -> (rule8 % int5))) -> (rule1 % int3)) ((((triple5 triple9) -> (rule1 % int3)) triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((triple9) -> (rule4 % int5)) ((triple8) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple9) -> (rule4 % int5)) triple9) -> (rule1 % int3)) ((triple4 triple6) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((triple8) -> (rule8 % int5))) -> (rule4 % int4)) triple9) -> (rule1 % int3)) ((((((triple9) -> (rule4 % int4)) triple9) -> (rule1 % int3)) ((triple4 triple6) -> (rule5 % int5))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((((triple8) -> (rule8 % int5))) -> (rule4 % int4)) ((triple8) -> (rule8 % int5))) -> (rule1 % int3)) ((((triple5 triple9) -> (rule1 % int3)) ((triple4 triple6) -> (rule5 % int5))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((((triple8) -> (rule8 % int5))) -> (rule4 % int4)) ((triple8) -> (rule8 % int5))) -> (rule1 % int3)) ((((((triple9) -> (rule4 % int4)) triple9) -> (rule1 % int3)) triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((((triple8) -> (rule8 % int5))) -> (rule4 % int4)) ((triple8) -> (rule8 % int5))) -> (rule1 % int3)) ((((((triple9) -> (rule4 % int4)) triple9) -> (rule1 % int3)) ((triple4 triple6) -> (rule5 % int5))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Fiona is kind.
True
2
proof
[(((triple10) -> rule4))]
("Fiona" "is" "kind" "+")
((triple10) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not kind.
False
2
inv-proof
[(((triple10) -> rule4))]
("Fiona" "is" "kind" "-")
((triple10) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Gary is nice.
True
4
proof
[(((((triple12) -> rule4) triple11) -> rule3) OR ((((triple12) -> rule4) ((((((triple12) -> rule4) triple12) -> rule1) ((((((triple12) -> rule4) triple12) -> rule1) triple12) -> rule7)) -> rule2)) -> rule3))]
("Gary" "is" "nice" "+")
((((triple12) -> (rule4 % int2)) triple11) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((triple12) -> (rule4 % int5)) ((((((triple12) -> (rule4 % int5)) triple12) -> (rule1 % int4)) ((((((triple12) -> (rule4 % int5)) triple12) -> (rule1 % int4)) triple12) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
Fiona is not green.
False
4
inv-proof
[(((((triple10) -> rule4) triple10) -> rule1))]
("Fiona" "is" "green" "-")
((((triple10) -> (rule4 % int2)) triple10) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Gary is rough.
True
6
proof
[(((((((triple12) -> rule4) triple12) -> rule1) triple12) -> rule7))]
("Gary" "is" "rough" "+")
((((((triple12) -> (rule4 % int3)) triple12) -> (rule1 % int2)) triple12) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is not rough.
False
6
inv-proof
[(((((((triple12) -> rule4) triple12) -> rule1) triple12) -> rule7))]
("Gary" "is" "rough" "-")
((((((triple12) -> (rule4 % int3)) triple12) -> (rule1 % int2)) triple12) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Fiona is blue.
True
11
proof
[(((((((triple10) -> rule4) triple10) -> rule1) ((((((triple10) -> rule4) triple10) -> rule1) triple10) -> rule7)) -> rule2))]
("Fiona" "is" "blue" "+")
((((((triple10) -> (rule4 % int4)) triple10) -> (rule1 % int3)) ((((((triple10) -> (rule4 % int4)) triple10) -> (rule1 % int3)) triple10) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is not blue.
False
11
inv-proof
[(((((((triple10) -> rule4) triple10) -> rule1) ((((((triple10) -> rule4) triple10) -> rule1) triple10) -> rule7)) -> rule2))]
("Fiona" "is" "blue" "-")
((((((triple10) -> (rule4 % int4)) triple10) -> (rule1 % int3)) ((((((triple10) -> (rule4 % int4)) triple10) -> (rule1 % int3)) triple10) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is nice.
True
14
proof
[(((((triple10) -> rule4) ((((((triple10) -> rule4) triple10) -> rule1) ((((((triple10) -> rule4) triple10) -> rule1) triple10) -> rule7)) -> rule2)) -> rule3))]
("Fiona" "is" "nice" "+")
((((triple10) -> (rule4 % int5)) ((((((triple10) -> (rule4 % int5)) triple10) -> (rule1 % int4)) ((((((triple10) -> (rule4 % int5)) triple10) -> (rule1 % int4)) triple10) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
Fiona is not nice.
False
14
inv-proof
[(((((triple10) -> rule4) ((((((triple10) -> rule4) triple10) -> rule1) ((((((triple10) -> rule4) triple10) -> rule1) triple10) -> rule7)) -> rule2)) -> rule3))]
("Fiona" "is" "nice" "-")
((((triple10) -> (rule4 % int5)) ((((((triple10) -> (rule4 % int5)) triple10) -> (rule1 % int4)) ((((((triple10) -> (rule4 % int5)) triple10) -> (rule1 % int4)) triple10) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
Anne is not kind.
Unknown
inv-rconc
[@4: Anne is kind.[CWA. Example of deepest failure = (rule4 <- rule8 <- rule7 <- rule1 <- FAIL)]]
("Anne" "is" "kind" "-")
Anne is rough.
Unknown
rconc
[@3: Anne is rough.[CWA. Example of deepest failure = (rule7 <- rule1 <- rule5 <- FAIL)]]
("Anne" "is" "rough" "+")
Anne is not white.
Unknown
inv-rconc
[@4: Anne is white.[CWA. Example of deepest failure = (rule5 <- rule1 <- rule8 <- rule7 <- FAIL)]]
("Anne" "is" "white" "-")
Anne is green.
Unknown
rconc
[@3: Anne is green.[CWA. Example of deepest failure = (rule1 <- rule8 <- rule7 <- FAIL)]]
("Anne" "is" "green" "+")
Anne is not red.
Unknown
inv-random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Charlie is blue.[(triple3 OR ((triple4 triple8) -> rule2) OR ((triple4 ((triple4 triple9) -> rule7)) -> rule2) OR ((((triple8) -> rule9) triple8) -> rule2) OR ((((triple5 triple9) -> rule1) triple8) -> rule2) OR ((((triple8) -> rule9) ((triple4 triple9) -> rule7)) -> rule2) OR ((((triple5 triple9) -> rule1) ((triple4 triple9) -> rule7)) -> rule2) OR ((triple4 ((triple4 ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((triple4 ((((triple5 triple9) -> rule1) triple9) -> rule7)) -> rule2) OR ((((triple5 ((triple8) -> rule8)) -> rule1) triple8) -> rule2) OR ((((((triple9) -> rule4) triple9) -> rule1) triple8) -> rule2) OR ((triple4 ((((triple5 triple9) -> rule1) ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((((triple8) -> rule9) ((triple4 ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((((triple8) -> rule9) ((((triple5 triple9) -> rule1) triple9) -> rule7)) -> rule2) OR ((((triple5 triple9) -> rule1) ((triple4 ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((((triple5 triple9) -> rule1) ((((triple5 triple9) -> rule1) triple9) -> rule7)) -> rule2) OR ((((triple5 ((triple8) -> rule8)) -> rule1) ((triple4 triple9) -> rule7)) -> rule2) OR ((((((triple9) -> rule4) triple9) -> rule1) ((triple4 triple9) -> rule7)) -> rule2) OR ((((((triple9) -> rule4) ((triple8) -> rule8)) -> rule1) triple8) -> rule2) OR ((((triple8) -> rule9) ((((triple5 triple9) -> rule1) ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((((triple5 triple9) -> rule1) ((((triple5 triple9) -> rule1) ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((((triple5 ((triple8) -> rule8)) -> rule1) ((triple4 ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((((triple5 ((triple8) -> rule8)) -> rule1) ((((triple5 triple9) -> rule1) triple9) -> rule7)) -> rule2) OR ((((((triple9) -> rule4) triple9) -> rule1) ((triple4 ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((((((triple9) -> rule4) triple9) -> rule1) ((((triple5 triple9) -> rule1) triple9) -> rule7)) -> rule2) OR ((((((triple9) -> rule4) ((triple8) -> rule8)) -> rule1) ((triple4 triple9) -> rule7)) -> rule2) OR ((((triple5 ((triple8) -> rule8)) -> rule1) ((((triple5 triple9) -> rule1) ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((((((triple9) -> rule4) triple9) -> rule1) ((((triple5 triple9) -> rule1) ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((((((triple9) -> rule4) ((triple8) -> rule8)) -> rule1) ((triple4 ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((((((triple9) -> rule4) ((triple8) -> rule8)) -> rule1) ((((triple5 triple9) -> rule1) triple9) -> rule7)) -> rule2) OR ((((((triple9) -> rule4) ((triple8) -> rule8)) -> rule1) ((((triple5 triple9) -> rule1) ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((triple4 ((((((triple9) -> rule4) triple9) -> rule1) triple9) -> rule7)) -> rule2) OR ((((((((triple8) -> rule8)) -> rule4) triple9) -> rule1) triple8) -> rule2) OR ((triple4 ((((((triple9) -> rule4) triple9) -> rule1) ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((((triple8) -> rule9) ((((((triple9) -> rule4) triple9) -> rule1) triple9) -> rule7)) -> rule2) OR ((((triple5 triple9) -> rule1) ((((((triple9) -> rule4) triple9) -> rule1) triple9) -> rule7)) -> rule2) OR ((((((((triple8) -> rule8)) -> rule4) triple9) -> rule1) ((triple4 triple9) -> rule7)) -> rule2) OR ((((((((triple8) -> rule8)) -> rule4) ((triple8) -> rule8)) -> rule1) triple8) -> rule2) OR ((((triple8) -> rule9) ((((((triple9) -> rule4) triple9) -> rule1) ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((((triple5 triple9) -> rule1) ((((((triple9) -> rule4) triple9) -> rule1) ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((((triple5 ((triple8) -> rule8)) -> rule1) ((((((triple9) -> rule4) triple9) -> rule1) triple9) -> rule7)) -> rule2) OR ((((((triple9) -> rule4) triple9) -> rule1) ((((((triple9) -> rule4) triple9) -> rule1) triple9) -> rule7)) -> rule2) OR ((((((((triple8) -> rule8)) -> rule4) triple9) -> rule1) ((triple4 ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple8) -> rule8)) -> rule4) triple9) -> rule1) ((((triple5 triple9) -> rule1) triple9) -> rule7)) -> rule2) OR ((((((((triple8) -> rule8)) -> rule4) ((triple8) -> rule8)) -> rule1) ((triple4 triple9) -> rule7)) -> rule2) OR ((((triple5 ((triple8) -> rule8)) -> rule1) ((((((triple9) -> rule4) triple9) -> rule1) ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((((((triple9) -> rule4) triple9) -> rule1) ((((((triple9) -> rule4) triple9) -> rule1) ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((((((triple9) -> rule4) ((triple8) -> rule8)) -> rule1) ((((((triple9) -> rule4) triple9) -> rule1) triple9) -> rule7)) -> rule2) OR ((((((((triple8) -> rule8)) -> rule4) triple9) -> rule1) ((((triple5 triple9) -> rule1) ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple8) -> rule8)) -> rule4) triple9) -> rule1) ((((((triple9) -> rule4) triple9) -> rule1) triple9) -> rule7)) -> rule2) OR ((((((((triple8) -> rule8)) -> rule4) ((triple8) -> rule8)) -> rule1) ((triple4 ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple8) -> rule8)) -> rule4) ((triple8) -> rule8)) -> rule1) ((((triple5 triple9) -> rule1) triple9) -> rule7)) -> rule2) OR ((((((triple9) -> rule4) ((triple8) -> rule8)) -> rule1) ((((((triple9) -> rule4) triple9) -> rule1) ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple8) -> rule8)) -> rule4) triple9) -> rule1) ((((((triple9) -> rule4) triple9) -> rule1) ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple8) -> rule8)) -> rule4) ((triple8) -> rule8)) -> rule1) ((((triple5 triple9) -> rule1) ((triple4 triple6) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple8) -> rule8)) -> rule4) ((triple8) -> rule8)) -> rule1) ((((((triple9) -> rule4) triple9) -> rule1) triple9) -> rule7)) -> rule2) OR ((((((((triple8) -> rule8)) -> rule4) ((triple8) -> rule8)) -> rule1) ((((((triple9) -> rule4) triple9) -> rule1) ((triple4 triple6) -> rule5)) -> rule7)) -> rule2))] Charlie is green.[(triple4 OR ((triple8) -> rule9) OR ((triple5 triple9) -> rule1) OR ((triple5 ((triple8) -> rule8)) -> rule1) OR ((((triple9) -> rule4) triple9) -> rule1) OR ((((triple9) -> rule4) ((triple8) -> rule8)) -> rule1) OR ((((((triple8) -> rule8)) -> rule4) triple9) -> rule1) OR ((((((triple8) -> rule8)) -> rule4) ((triple8) -> rule8)) -> rule1))] Charlie is kind.[(triple5 OR ((triple9) -> rule4) OR ((((triple8) -> rule8)) -> rule4) OR ((((triple4 triple6) -> rule5)) -> rule4) OR ((((((triple8) -> rule9) triple6) -> rule5)) -> rule4))] Charlie is nice.[(triple6 OR ((triple5 triple3) -> rule3) OR ((triple5 ((triple4 triple8) -> rule2)) -> rule3) OR ((((triple9) -> rule4) triple3) -> rule3) OR ((((triple9) -> rule4) ((triple4 triple8) -> rule2)) -> rule3) OR ((triple5 ((triple4 ((triple4 triple9) -> rule7)) -> rule2)) -> rule3) OR ((triple5 ((((triple8) -> rule9) triple8) -> rule2)) -> rule3) OR ((triple5 ((((triple5 triple9) -> rule1) triple8) -> rule2)) -> rule3) OR ((((((triple8) -> rule8)) -> rule4) triple3) -> rule3) OR ((triple5 ((((triple8) -> rule9) ((triple4 triple9) -> rule7)) -> rule2)) -> rule3) OR ((triple5 ((((triple5 triple9) -> rule1) ((triple4 triple9) -> rule7)) -> rule2)) -> rule3) OR ((((triple9) -> rule4) ((triple4 ((triple4 triple9) -> rule7)) -> rule2)) -> rule3) OR ((((triple9) -> rule4) ((((triple8) -> rule9) triple8) -> rule2)) -> rule3) OR ((((triple9) -> rule4) ((((triple5 triple9) -> rule1) triple8) -> rule2)) -> rule3) OR ((((((triple8) -> rule8)) -> rule4) ((triple4 triple8) -> rule2)) -> rule3) OR ((((triple9) -> rule4) ((((triple8) -> rule9) ((triple4 triple9) -> rule7)) -> rule2)) -> rule3) OR ((((triple9) -> rule4) ((((triple5 triple9) -> rule1) ((triple4 triple9) -> rule7)) -> rule2)) -> rule3) OR ((((((triple8) -> rule8)) -> rule4) ((triple4 ((triple4 triple9) -> rule7)) -> rule2)) -> rule3) OR ((((((triple8) -> rule8)) -> rule4) ((((triple8) -> rule9) triple8) -> rule2)) -> rule3) OR ((((((triple8) -> rule8)) -> rule4) ((((triple5 triple9) -> rule1) triple8) -> rule2)) -> rule3) OR ((((((triple8) -> rule8)) -> rule4) ((((triple8) -> rule9) ((triple4 triple9) -> rule7)) -> rule2)) -> rule3) OR ((((((triple8) -> rule8)) -> rule4) ((((triple5 triple9) -> rule1) ((triple4 triple9) -> rule7)) -> rule2)) -> rule3) OR ((triple5 ((triple4 ((((triple5 triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((triple5 ((((triple5 ((triple8) -> rule8)) -> rule1) triple8) -> rule2)) -> rule3) OR ((triple5 ((((((triple9) -> rule4) triple9) -> rule1) triple8) -> rule2)) -> rule3) OR ((triple5 ((((triple8) -> rule9) ((((triple5 triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((triple5 ((((triple5 triple9) -> rule1) ((((triple5 triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((triple5 ((((triple5 ((triple8) -> rule8)) -> rule1) ((triple4 triple9) -> rule7)) -> rule2)) -> rule3) OR ((triple5 ((((((triple9) -> rule4) triple9) -> rule1) ((triple4 triple9) -> rule7)) -> rule2)) -> rule3) OR ((triple5 ((((((triple9) -> rule4) ((triple8) -> rule8)) -> rule1) triple8) -> rule2)) -> rule3) OR ((((triple9) -> rule4) ((triple4 ((((triple5 triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((((triple9) -> rule4) ((((triple5 ((triple8) -> rule8)) -> rule1) triple8) -> rule2)) -> rule3) OR ((((triple9) -> rule4) ((((((triple9) -> rule4) triple9) -> rule1) triple8) -> rule2)) -> rule3) OR ((triple5 ((((triple5 ((triple8) -> rule8)) -> rule1) ((((triple5 triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((triple5 ((((((triple9) -> rule4) triple9) -> rule1) ((((triple5 triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((triple5 ((((((triple9) -> rule4) ((triple8) -> rule8)) -> rule1) ((triple4 triple9) -> rule7)) -> rule2)) -> rule3) OR ((((triple9) -> rule4) ((((triple8) -> rule9) ((((triple5 triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((((triple9) -> rule4) ((((triple5 triple9) -> rule1) ((((triple5 triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((((triple9) -> rule4) ((((triple5 ((triple8) -> rule8)) -> rule1) ((triple4 triple9) -> rule7)) -> rule2)) -> rule3) OR ((((triple9) -> rule4) ((((((triple9) -> rule4) triple9) -> rule1) ((triple4 triple9) -> rule7)) -> rule2)) -> rule3) OR ((((triple9) -> rule4) ((((((triple9) -> rule4) ((triple8) -> rule8)) -> rule1) triple8) -> rule2)) -> rule3) OR ((((((triple8) -> rule8)) -> rule4) ((triple4 ((((triple5 triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((((((triple8) -> rule8)) -> rule4) ((((triple5 ((triple8) -> rule8)) -> rule1) triple8) -> rule2)) -> rule3) OR ((((((triple8) -> rule8)) -> rule4) ((((((triple9) -> rule4) triple9) -> rule1) triple8) -> rule2)) -> rule3) OR ((triple5 ((((((triple9) -> rule4) ((triple8) -> rule8)) -> rule1) ((((triple5 triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((((triple9) -> rule4) ((((triple5 ((triple8) -> rule8)) -> rule1) ((((triple5 triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((((triple9) -> rule4) ((((((triple9) -> rule4) triple9) -> rule1) ((((triple5 triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((((triple9) -> rule4) ((((((triple9) -> rule4) ((triple8) -> rule8)) -> rule1) ((triple4 triple9) -> rule7)) -> rule2)) -> rule3) OR ((((((triple8) -> rule8)) -> rule4) ((((triple8) -> rule9) ((((triple5 triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((((((triple8) -> rule8)) -> rule4) ((((triple5 triple9) -> rule1) ((((triple5 triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((((((triple8) -> rule8)) -> rule4) ((((triple5 ((triple8) -> rule8)) -> rule1) ((triple4 triple9) -> rule7)) -> rule2)) -> rule3) OR ((((((triple8) -> rule8)) -> rule4) ((((((triple9) -> rule4) triple9) -> rule1) ((triple4 triple9) -> rule7)) -> rule2)) -> rule3) OR ((((((triple8) -> rule8)) -> rule4) ((((((triple9) -> rule4) ((triple8) -> rule8)) -> rule1) triple8) -> rule2)) -> rule3) OR ((((triple9) -> rule4) ((((((triple9) -> rule4) ((triple8) -> rule8)) -> rule1) ((((triple5 triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((((((triple8) -> rule8)) -> rule4) ((((triple5 ((triple8) -> rule8)) -> rule1) ((((triple5 triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((((((triple8) -> rule8)) -> rule4) ((((((triple9) -> rule4) triple9) -> rule1) ((((triple5 triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((((((triple8) -> rule8)) -> rule4) ((((((triple9) -> rule4) ((triple8) -> rule8)) -> rule1) ((triple4 triple9) -> rule7)) -> rule2)) -> rule3) OR ((((((triple8) -> rule8)) -> rule4) ((((((triple9) -> rule4) ((triple8) -> rule8)) -> rule1) ((((triple5 triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((triple5 ((triple4 ((((((triple9) -> rule4) triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((triple5 ((((((((triple8) -> rule8)) -> rule4) triple9) -> rule1) triple8) -> rule2)) -> rule3) OR ((triple5 ((((triple8) -> rule9) ((((((triple9) -> rule4) triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((triple5 ((((triple5 triple9) -> rule1) ((((((triple9) -> rule4) triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((triple5 ((((((((triple8) -> rule8)) -> rule4) triple9) -> rule1) ((triple4 triple9) -> rule7)) -> rule2)) -> rule3) OR ((triple5 ((((((((triple8) -> rule8)) -> rule4) ((triple8) -> rule8)) -> rule1) triple8) -> rule2)) -> rule3) OR ((((triple9) -> rule4) ((triple4 ((((((triple9) -> rule4) triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((((triple9) -> rule4) ((((((((triple8) -> rule8)) -> rule4) triple9) -> rule1) triple8) -> rule2)) -> rule3) OR ((triple5 ((((triple5 ((triple8) -> rule8)) -> rule1) ((((((triple9) -> rule4) triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((triple5 ((((((triple9) -> rule4) triple9) -> rule1) ((((((triple9) -> rule4) triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((triple5 ((((((((triple8) -> rule8)) -> rule4) triple9) -> rule1) ((((triple5 triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((triple5 ((((((((triple8) -> rule8)) -> rule4) ((triple8) -> rule8)) -> rule1) ((triple4 triple9) -> rule7)) -> rule2)) -> rule3) OR ((((triple9) -> rule4) ((((triple8) -> rule9) ((((((triple9) -> rule4) triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((((triple9) -> rule4) ((((triple5 triple9) -> rule1) ((((((triple9) -> rule4) triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((((triple9) -> rule4) ((((((((triple8) -> rule8)) -> rule4) triple9) -> rule1) ((triple4 triple9) -> rule7)) -> rule2)) -> rule3) OR ((((triple9) -> rule4) ((((((((triple8) -> rule8)) -> rule4) ((triple8) -> rule8)) -> rule1) triple8) -> rule2)) -> rule3) OR ((((((triple8) -> rule8)) -> rule4) ((triple4 ((((((triple9) -> rule4) triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((((((triple8) -> rule8)) -> rule4) ((((((((triple8) -> rule8)) -> rule4) triple9) -> rule1) triple8) -> rule2)) -> rule3) OR ((triple5 ((((((triple9) -> rule4) ((triple8) -> rule8)) -> rule1) ((((((triple9) -> rule4) triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((triple5 ((((((((triple8) -> rule8)) -> rule4) triple9) -> rule1) ((((((triple9) -> rule4) triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((triple5 ((((((((triple8) -> rule8)) -> rule4) ((triple8) -> rule8)) -> rule1) ((((triple5 triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((((triple9) -> rule4) ((((triple5 ((triple8) -> rule8)) -> rule1) ((((((triple9) -> rule4) triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((((triple9) -> rule4) ((((((triple9) -> rule4) triple9) -> rule1) ((((((triple9) -> rule4) triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((((triple9) -> rule4) ((((((((triple8) -> rule8)) -> rule4) triple9) -> rule1) ((((triple5 triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((((triple9) -> rule4) ((((((((triple8) -> rule8)) -> rule4) ((triple8) -> rule8)) -> rule1) ((triple4 triple9) -> rule7)) -> rule2)) -> rule3) OR ((((((triple8) -> rule8)) -> rule4) ((((triple8) -> rule9) ((((((triple9) -> rule4) triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((((((triple8) -> rule8)) -> rule4) ((((triple5 triple9) -> rule1) ((((((triple9) -> rule4) triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((((((triple8) -> rule8)) -> rule4) ((((((((triple8) -> rule8)) -> rule4) triple9) -> rule1) ((triple4 triple9) -> rule7)) -> rule2)) -> rule3) OR ((((((triple8) -> rule8)) -> rule4) ((((((((triple8) -> rule8)) -> rule4) ((triple8) -> rule8)) -> rule1) triple8) -> rule2)) -> rule3) OR ((triple5 ((((((((triple8) -> rule8)) -> rule4) ((triple8) -> rule8)) -> rule1) ((((((triple9) -> rule4) triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((((triple9) -> rule4) ((((((triple9) -> rule4) ((triple8) -> rule8)) -> rule1) ((((((triple9) -> rule4) triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((((triple9) -> rule4) ((((((((triple8) -> rule8)) -> rule4) triple9) -> rule1) ((((((triple9) -> rule4) triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((((triple9) -> rule4) ((((((((triple8) -> rule8)) -> rule4) ((triple8) -> rule8)) -> rule1) ((((triple5 triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((((((triple8) -> rule8)) -> rule4) ((((triple5 ((triple8) -> rule8)) -> rule1) ((((((triple9) -> rule4) triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((((((triple8) -> rule8)) -> rule4) ((((((triple9) -> rule4) triple9) -> rule1) ((((((triple9) -> rule4) triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((((((triple8) -> rule8)) -> rule4) ((((((((triple8) -> rule8)) -> rule4) triple9) -> rule1) ((((triple5 triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((((((triple8) -> rule8)) -> rule4) ((((((((triple8) -> rule8)) -> rule4) ((triple8) -> rule8)) -> rule1) ((triple4 triple9) -> rule7)) -> rule2)) -> rule3) OR ((((triple9) -> rule4) ((((((((triple8) -> rule8)) -> rule4) ((triple8) -> rule8)) -> rule1) ((((((triple9) -> rule4) triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((((((triple8) -> rule8)) -> rule4) ((((((triple9) -> rule4) ((triple8) -> rule8)) -> rule1) ((((((triple9) -> rule4) triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((((((triple8) -> rule8)) -> rule4) ((((((((triple8) -> rule8)) -> rule4) triple9) -> rule1) ((((((triple9) -> rule4) triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((((((triple8) -> rule8)) -> rule4) ((((((((triple8) -> rule8)) -> rule4) ((triple8) -> rule8)) -> rule1) ((((triple5 triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3) OR ((((((triple8) -> rule8)) -> rule4) ((((((((triple8) -> rule8)) -> rule4) ((triple8) -> rule8)) -> rule1) ((((((triple9) -> rule4) triple9) -> rule1) triple9) -> rule7)) -> rule2)) -> rule3))] Charlie is red.[(triple7)] Charlie is rough.[(triple8 OR ((triple4 triple9) -> rule7) OR ((triple4 ((triple4 triple6) -> rule5)) -> rule7) OR ((((triple5 triple9) -> rule1) triple9) -> rule7) OR ((((triple5 triple9) -> rule1) ((triple4 triple6) -> rule5)) -> rule7) OR ((triple4 ((triple4 ((triple5 triple3) -> rule3)) -> rule5)) -> rule7) OR ((((((triple9) -> rule4) triple9) -> rule1) triple9) -> rule7) OR ((((triple5 triple9) -> rule1) ((triple4 ((triple5 triple3) -> rule3)) -> rule5)) -> rule7) OR ((((((triple9) -> rule4) triple9) -> rule1) ((triple4 triple6) -> rule5)) -> rule7) OR ((((((triple9) -> rule4) triple9) -> rule1) ((triple4 ((triple5 triple3) -> rule3)) -> rule5)) -> rule7))] Charlie is white.[(triple9 OR ((triple8) -> rule8) OR ((triple4 triple6) -> rule5) OR ((triple4 ((triple5 triple3) -> rule3)) -> rule5) OR ((((triple8) -> rule9) triple6) -> rule5) OR ((((triple8) -> rule9) ((triple5 triple3) -> rule3)) -> rule5) OR ((triple4 ((triple5 ((triple4 triple8) -> rule2)) -> rule3)) -> rule5) OR ((((triple8) -> rule9) ((triple5 ((triple4 triple8) -> rule2)) -> rule3)) -> rule5) OR ((triple4 ((triple5 ((((triple8) -> rule9) triple8) -> rule2)) -> rule3)) -> rule5) OR ((((triple8) -> rule9) ((triple5 ((((triple8) -> rule9) triple8) -> rule2)) -> rule3)) -> rule5))] Fiona is white.[(triple10)] Gary is blue.[(triple11 OR ((((((triple12) -> rule4) triple12) -> rule1) ((((((triple12) -> rule4) triple12) -> rule1) triple12) -> rule7)) -> rule2))] Gary is white.[(triple12)] @1: Fiona is kind.[(((triple10) -> rule4))] Gary is kind.[(((triple12) -> rule4))] @2: Fiona is green.[(((((triple10) -> rule4) triple10) -> rule1))] Gary is green.[(((((triple12) -> rule4) triple12) -> rule1))] Gary is nice.[(((((triple12) -> rule4) triple11) -> rule3) OR ((((triple12) -> rule4) ((((((triple12) -> rule4) triple12) -> rule1) ((((((triple12) -> rule4) triple12) -> rule1) triple12) -> rule7)) -> rule2)) -> rule3))] @3: Fiona is rough.[(((((((triple10) -> rule4) triple10) -> rule1) triple10) -> rule7))] Gary is rough.[(((((((triple12) -> rule4) triple12) -> rule1) triple12) -> rule7))] @4: Fiona is blue.[(((((((triple10) -> rule4) triple10) -> rule1) ((((((triple10) -> rule4) triple10) -> rule1) triple10) -> rule7)) -> rule2))] @5: Fiona is nice.[(((((triple10) -> rule4) ((((((triple10) -> rule4) triple10) -> rule1) ((((((triple10) -> rule4) triple10) -> rule1) triple10) -> rule7)) -> rule2)) -> rule3))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
((triple4 triple8) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((triple4 ((triple4 triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((triple8) -> (rule9 % int2)) triple8) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((((triple5 triple9) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((((triple8) -> (rule9 % int3)) ((triple4 triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple5 triple9) -> (rule1 % int3)) ((triple4 triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((triple4 ((triple4 ((triple4 triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((triple4 ((((triple5 triple9) -> (rule1 % int3)) triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple5 ((triple8) -> (rule8 % int3))) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((((triple9) -> (rule4 % int3)) triple9) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((triple4 ((((triple5 triple9) -> (rule1 % int4)) ((triple4 triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((triple8) -> (rule9 % int4)) ((triple4 ((triple4 triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((triple8) -> (rule9 % int3)) ((((triple5 triple9) -> (rule1 % int3)) triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple5 triple9) -> (rule1 % int4)) ((triple4 ((triple4 triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((triple5 triple9) -> (rule1 % int3)) ((((triple5 triple9) -> (rule1 % int3)) triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple5 ((triple8) -> (rule8 % int4))) -> (rule1 % int3)) ((triple4 triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((triple9) -> (rule4 % int4)) triple9) -> (rule1 % int3)) ((triple4 triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple9) -> (rule4 % int4)) ((triple8) -> (rule8 % int3))) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple8) -> (rule9 % int4)) ((((triple5 triple9) -> (rule1 % int4)) ((triple4 triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((triple5 triple9) -> (rule1 % int4)) ((((triple5 triple9) -> (rule1 % int4)) ((triple4 triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((triple5 ((triple8) -> (rule8 % int4))) -> (rule1 % int3)) ((triple4 ((triple4 triple6) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((triple5 ((triple8) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple5 triple9) -> (rule1 % int3)) triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((triple9) -> (rule4 % int5)) triple9) -> (rule1 % int4)) ((triple4 ((triple4 triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((triple9) -> (rule4 % int4)) triple9) -> (rule1 % int3)) ((((triple5 triple9) -> (rule1 % int3)) triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple9) -> (rule4 % int5)) ((triple8) -> (rule8 % int4))) -> (rule1 % int3)) ((triple4 triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((triple5 ((triple8) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple5 triple9) -> (rule1 % int3)) ((triple4 triple6) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((triple9) -> (rule4 % int5)) triple9) -> (rule1 % int4)) ((((triple5 triple9) -> (rule1 % int4)) ((triple4 triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((triple9) -> (rule4 % int5)) ((triple8) -> (rule8 % int4))) -> (rule1 % int3)) ((triple4 ((triple4 triple6) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((triple9) -> (rule4 % int5)) ((triple8) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple5 triple9) -> (rule1 % int3)) triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((triple9) -> (rule4 % int5)) ((triple8) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple5 triple9) -> (rule1 % int3)) ((triple4 triple6) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((triple4 ((((((triple9) -> (rule4 % int4)) triple9) -> (rule1 % int3)) triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((((triple8) -> (rule8 % int4))) -> (rule4 % int3)) triple9) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((triple4 ((((((triple9) -> (rule4 % int5)) triple9) -> (rule1 % int4)) ((triple4 triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((triple8) -> (rule9 % int4)) ((((((triple9) -> (rule4 % int3)) triple9) -> (rule1 % int4)) triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((triple5 triple9) -> (rule1 % int4)) ((((((triple9) -> (rule4 % int3)) triple9) -> (rule1 % int4)) triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((((((triple8) -> (rule8 % int5))) -> (rule4 % int4)) triple9) -> (rule1 % int3)) ((triple4 triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((((triple8) -> (rule8 % int4))) -> (rule4 % int3)) ((triple8) -> (rule8 % int4))) -> (rule1 % int2)) triple8) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((triple8) -> (rule9 % int5)) ((((((triple9) -> (rule4 % int4)) triple9) -> (rule1 % int5)) ((triple4 triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((((triple5 triple9) -> (rule1 % int5)) ((((((triple9) -> (rule4 % int4)) triple9) -> (rule1 % int5)) ((triple4 triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((((triple5 ((triple8) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple9) -> (rule4 % int3)) triple9) -> (rule1 % int4)) triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((triple9) -> (rule4 % int4)) triple9) -> (rule1 % int3)) ((((((triple9) -> (rule4 % int4)) triple9) -> (rule1 % int3)) triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((((triple8) -> (rule8 % int5))) -> (rule4 % int4)) triple9) -> (rule1 % int3)) ((triple4 ((triple4 triple6) -> (rule5 % int5))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((((triple8) -> (rule8 % int5))) -> (rule4 % int4)) triple9) -> (rule1 % int3)) ((((triple5 triple9) -> (rule1 % int3)) triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((((triple8) -> (rule8 % int5))) -> (rule4 % int4)) ((triple8) -> (rule8 % int5))) -> (rule1 % int3)) ((triple4 triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((triple5 ((triple8) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple9) -> (rule4 % int3)) triple9) -> (rule1 % int4)) ((triple4 triple6) -> (rule5 % int5))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((triple9) -> (rule4 % int5)) triple9) -> (rule1 % int4)) ((((((triple9) -> (rule4 % int5)) triple9) -> (rule1 % int4)) ((triple4 triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((triple9) -> (rule4 % int5)) ((triple8) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple9) -> (rule4 % int5)) triple9) -> (rule1 % int3)) triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((triple8) -> (rule8 % int5))) -> (rule4 % int4)) triple9) -> (rule1 % int3)) ((((triple5 triple9) -> (rule1 % int3)) ((triple4 triple6) -> (rule5 % int5))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((((triple8) -> (rule8 % int5))) -> (rule4 % int4)) triple9) -> (rule1 % int3)) ((((((triple9) -> (rule4 % int4)) triple9) -> (rule1 % int3)) triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((((triple8) -> (rule8 % int5))) -> (rule4 % int4)) ((triple8) -> (rule8 % int5))) -> (rule1 % int3)) ((triple4 ((triple4 triple6) -> (rule5 % int5))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((((triple8) -> (rule8 % int5))) -> (rule4 % int4)) ((triple8) -> (rule8 % int5))) -> (rule1 % int3)) ((((triple5 triple9) -> (rule1 % int3)) triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((triple9) -> (rule4 % int5)) ((triple8) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple9) -> (rule4 % int5)) triple9) -> (rule1 % int3)) ((triple4 triple6) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((triple8) -> (rule8 % int5))) -> (rule4 % int4)) triple9) -> (rule1 % int3)) ((((((triple9) -> (rule4 % int4)) triple9) -> (rule1 % int3)) ((triple4 triple6) -> (rule5 % int5))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((((triple8) -> (rule8 % int5))) -> (rule4 % int4)) ((triple8) -> (rule8 % int5))) -> (rule1 % int3)) ((((triple5 triple9) -> (rule1 % int3)) ((triple4 triple6) -> (rule5 % int5))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((((triple8) -> (rule8 % int5))) -> (rule4 % int4)) ((triple8) -> (rule8 % int5))) -> (rule1 % int3)) ((((((triple9) -> (rule4 % int4)) triple9) -> (rule1 % int3)) triple9) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((((triple8) -> (rule8 % int5))) -> (rule4 % int4)) ((triple8) -> (rule8 % int5))) -> (rule1 % int3)) ((((((triple9) -> (rule4 % int4)) triple9) -> (rule1 % int3)) ((triple4 triple6) -> (rule5 % int5))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is green.
("Charlie" "is" "green" "+")
triple4
((triple8) -> (rule9 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((triple5 triple9) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((triple5 ((triple8) -> (rule8 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((((triple9) -> (rule4 % int2)) triple9) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((triple9) -> (rule4 % int3)) ((triple8) -> (rule8 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((triple8) -> (rule8 % int3))) -> (rule4 % int2)) triple9) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((((triple8) -> (rule8 % int3))) -> (rule4 % int2)) ((triple8) -> (rule8 % int3))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
((triple9) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((((triple8) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((((triple4 triple6) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((((((triple8) -> (rule9 % int3)) triple6) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple6
((triple5 triple3) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple5 ((triple4 triple8) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple9) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((triple9) -> (rule4 % int3)) ((triple4 triple8) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((triple5 ((triple4 ((triple4 triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((triple5 ((((triple8) -> (rule9 % int3)) triple8) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((triple5 ((((triple5 triple9) -> (rule1 % int3)) triple8) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((((triple8) -> (rule8 % int3))) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((triple5 ((((triple8) -> (rule9 % int4)) ((triple4 triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((triple5 ((((triple5 triple9) -> (rule1 % int4)) ((triple4 triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((triple9) -> (rule4 % int4)) ((triple4 ((triple4 triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple9) -> (rule4 % int4)) ((((triple8) -> (rule9 % int3)) triple8) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple9) -> (rule4 % int4)) ((((triple5 triple9) -> (rule1 % int3)) triple8) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple8) -> (rule8 % int4))) -> (rule4 % int3)) ((triple4 triple8) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((triple9) -> (rule4 % int5)) ((((triple8) -> (rule9 % int4)) ((triple4 triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((triple9) -> (rule4 % int5)) ((((triple5 triple9) -> (rule1 % int4)) ((triple4 triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((triple8) -> (rule8 % int5))) -> (rule4 % int4)) ((triple4 ((triple4 triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((triple8) -> (rule8 % int5))) -> (rule4 % int4)) ((((triple8) -> (rule9 % int3)) triple8) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((triple8) -> (rule8 % int5))) -> (rule4 % int4)) ((((triple5 triple9) -> (rule1 % int3)) triple8) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((triple8) -> (rule8 % int6))) -> (rule4 % int5)) ((((triple8) -> (rule9 % int4)) ((triple4 triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
int6
((((((triple8) -> (rule8 % int6))) -> (rule4 % int5)) ((((triple5 triple9) -> (rule1 % int4)) ((triple4 triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
int6
((triple5 ((triple4 ((((triple5 triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((triple5 ((((triple5 ((triple8) -> (rule8 % int4))) -> (rule1 % int3)) triple8) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((triple5 ((((((triple9) -> (rule4 % int4)) triple9) -> (rule1 % int3)) triple8) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((triple5 ((((triple8) -> (rule9 % int4)) ((((triple5 triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((triple5 ((((triple5 triple9) -> (rule1 % int4)) ((((triple5 triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((triple5 ((((triple5 ((triple8) -> (rule8 % int5))) -> (rule1 % int4)) ((triple4 triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((triple5 ((((((triple9) -> (rule4 % int5)) triple9) -> (rule1 % int4)) ((triple4 triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((triple5 ((((((triple9) -> (rule4 % int5)) ((triple8) -> (rule8 % int4))) -> (rule1 % int3)) triple8) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((triple9) -> (rule4 % int5)) ((triple4 ((((triple5 triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((triple9) -> (rule4 % int5)) ((((triple5 ((triple8) -> (rule8 % int4))) -> (rule1 % int3)) triple8) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((triple9) -> (rule4 % int4)) ((((((triple9) -> (rule4 % int4)) triple9) -> (rule1 % int3)) triple8) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((triple5 ((((triple5 ((triple8) -> (rule8 % int5))) -> (rule1 % int4)) ((((triple5 triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((triple5 ((((((triple9) -> (rule4 % int5)) triple9) -> (rule1 % int4)) ((((triple5 triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((triple5 ((((((triple9) -> (rule4 % int6)) ((triple8) -> (rule8 % int5))) -> (rule1 % int4)) ((triple4 triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6
((((triple9) -> (rule4 % int5)) ((((triple8) -> (rule9 % int4)) ((((triple5 triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((triple9) -> (rule4 % int5)) ((((triple5 triple9) -> (rule1 % int4)) ((((triple5 triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((triple9) -> (rule4 % int6)) ((((triple5 ((triple8) -> (rule8 % int5))) -> (rule1 % int4)) ((triple4 triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6
((((triple9) -> (rule4 % int5)) ((((((triple9) -> (rule4 % int5)) triple9) -> (rule1 % int4)) ((triple4 triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((triple9) -> (rule4 % int5)) ((((((triple9) -> (rule4 % int5)) ((triple8) -> (rule8 % int4))) -> (rule1 % int3)) triple8) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((triple8) -> (rule8 % int6))) -> (rule4 % int5)) ((triple4 ((((triple5 triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
int6
((((((triple8) -> (rule8 % int5))) -> (rule4 % int4)) ((((triple5 ((triple8) -> (rule8 % int5))) -> (rule1 % int3)) triple8) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((triple8) -> (rule8 % int5))) -> (rule4 % int4)) ((((((triple9) -> (rule4 % int4)) triple9) -> (rule1 % int3)) triple8) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((triple5 ((((((triple9) -> (rule4 % int6)) ((triple8) -> (rule8 % int5))) -> (rule1 % int4)) ((((triple5 triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6
((((triple9) -> (rule4 % int6)) ((((triple5 ((triple8) -> (rule8 % int5))) -> (rule1 % int4)) ((((triple5 triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6
((((triple9) -> (rule4 % int5)) ((((((triple9) -> (rule4 % int5)) triple9) -> (rule1 % int4)) ((((triple5 triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((triple9) -> (rule4 % int6)) ((((((triple9) -> (rule4 % int6)) ((triple8) -> (rule8 % int5))) -> (rule1 % int4)) ((triple4 triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6
((((((triple8) -> (rule8 % int6))) -> (rule4 % int5)) ((((triple8) -> (rule9 % int4)) ((((triple5 triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
int6
((((((triple8) -> (rule8 % int6))) -> (rule4 % int5)) ((((triple5 triple9) -> (rule1 % int4)) ((((triple5 triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
int6
((((((triple8) -> (rule8 % int6))) -> (rule4 % int5)) ((((triple5 ((triple8) -> (rule8 % int6))) -> (rule1 % int4)) ((triple4 triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
int6
((((((triple8) -> (rule8 % int6))) -> (rule4 % int5)) ((((((triple9) -> (rule4 % int5)) triple9) -> (rule1 % int4)) ((triple4 triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
int6
((((((triple8) -> (rule8 % int5))) -> (rule4 % int4)) ((((((triple9) -> (rule4 % int4)) ((triple8) -> (rule8 % int5))) -> (rule1 % int3)) triple8) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((triple9) -> (rule4 % int6)) ((((((triple9) -> (rule4 % int6)) ((triple8) -> (rule8 % int5))) -> (rule1 % int4)) ((((triple5 triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6
((((((triple8) -> (rule8 % int6))) -> (rule4 % int5)) ((((triple5 ((triple8) -> (rule8 % int6))) -> (rule1 % int4)) ((((triple5 triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
int6
((((((triple8) -> (rule8 % int6))) -> (rule4 % int5)) ((((((triple9) -> (rule4 % int5)) triple9) -> (rule1 % int4)) ((((triple5 triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
int6
((((((triple8) -> (rule8 % int6))) -> (rule4 % int5)) ((((((triple9) -> (rule4 % int5)) ((triple8) -> (rule8 % int6))) -> (rule1 % int4)) ((triple4 triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
int6
((((((triple8) -> (rule8 % int6))) -> (rule4 % int5)) ((((((triple9) -> (rule4 % int5)) ((triple8) -> (rule8 % int6))) -> (rule1 % int4)) ((((triple5 triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
int6
((triple5 ((triple4 ((((((triple9) -> (rule4 % int5)) triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((triple5 ((((((((triple8) -> (rule8 % int5))) -> (rule4 % int4)) triple9) -> (rule1 % int3)) triple8) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((triple5 ((((triple8) -> (rule9 % int5)) ((((((triple9) -> (rule4 % int4)) triple9) -> (rule1 % int5)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((triple5 ((((triple5 triple9) -> (rule1 % int5)) ((((((triple9) -> (rule4 % int4)) triple9) -> (rule1 % int5)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((triple5 ((((((((triple8) -> (rule8 % int6))) -> (rule4 % int5)) triple9) -> (rule1 % int4)) ((triple4 triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
int6
((triple5 ((((((((triple8) -> (rule8 % int5))) -> (rule4 % int4)) ((triple8) -> (rule8 % int5))) -> (rule1 % int3)) triple8) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((triple9) -> (rule4 % int5)) ((triple4 ((((((triple9) -> (rule4 % int5)) triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((triple9) -> (rule4 % int5)) ((((((((triple8) -> (rule8 % int4))) -> (rule4 % int5)) triple9) -> (rule1 % int3)) triple8) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((triple5 ((((triple5 ((triple8) -> (rule8 % int6))) -> (rule1 % int5)) ((((((triple9) -> (rule4 % int4)) triple9) -> (rule1 % int5)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
int6
((triple5 ((((((triple9) -> (rule4 % int5)) triple9) -> (rule1 % int4)) ((((((triple9) -> (rule4 % int5)) triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((triple5 ((((((((triple8) -> (rule8 % int6))) -> (rule4 % int5)) triple9) -> (rule1 % int4)) ((((triple5 triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
int6
((triple5 ((((((((triple8) -> (rule8 % int6))) -> (rule4 % int5)) ((triple8) -> (rule8 % int6))) -> (rule1 % int4)) ((triple4 triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
int6
((((triple9) -> (rule4 % int5)) ((((triple8) -> (rule9 % int4)) ((((((triple9) -> (rule4 % int5)) triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((triple9) -> (rule4 % int5)) ((((triple5 triple9) -> (rule1 % int4)) ((((((triple9) -> (rule4 % int5)) triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((triple9) -> (rule4 % int6)) ((((((((triple8) -> (rule8 % int5))) -> (rule4 % int6)) triple9) -> (rule1 % int4)) ((triple4 triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6
((((triple9) -> (rule4 % int5)) ((((((((triple8) -> (rule8 % int4))) -> (rule4 % int5)) ((triple8) -> (rule8 % int4))) -> (rule1 % int3)) triple8) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((triple8) -> (rule8 % int6))) -> (rule4 % int5)) ((triple4 ((((((triple9) -> (rule4 % int5)) triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
int6
((((((triple8) -> (rule8 % int5))) -> (rule4 % int4)) ((((((((triple8) -> (rule8 % int5))) -> (rule4 % int4)) triple9) -> (rule1 % int3)) triple8) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((triple5 ((((((triple9) -> (rule4 % int6)) ((triple8) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple9) -> (rule4 % int6)) triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6
((triple5 ((((((((triple8) -> (rule8 % int6))) -> (rule4 % int5)) triple9) -> (rule1 % int4)) ((((((triple9) -> (rule4 % int5)) triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
int6
((triple5 ((((((((triple8) -> (rule8 % int6))) -> (rule4 % int5)) ((triple8) -> (rule8 % int6))) -> (rule1 % int4)) ((((triple5 triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
int6
((((triple9) -> (rule4 % int6)) ((((triple5 ((triple8) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple9) -> (rule4 % int6)) triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6
((((triple9) -> (rule4 % int5)) ((((((triple9) -> (rule4 % int5)) triple9) -> (rule1 % int4)) ((((((triple9) -> (rule4 % int5)) triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((triple9) -> (rule4 % int6)) ((((((((triple8) -> (rule8 % int5))) -> (rule4 % int6)) triple9) -> (rule1 % int4)) ((((triple5 triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6
((((triple9) -> (rule4 % int6)) ((((((((triple8) -> (rule8 % int5))) -> (rule4 % int6)) ((triple8) -> (rule8 % int5))) -> (rule1 % int4)) ((triple4 triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6
((((((triple8) -> (rule8 % int6))) -> (rule4 % int5)) ((((triple8) -> (rule9 % int4)) ((((((triple9) -> (rule4 % int5)) triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
int6
((((((triple8) -> (rule8 % int6))) -> (rule4 % int5)) ((((triple5 triple9) -> (rule1 % int4)) ((((((triple9) -> (rule4 % int5)) triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
int6
((((((triple8) -> (rule8 % int6))) -> (rule4 % int5)) ((((((((triple8) -> (rule8 % int6))) -> (rule4 % int5)) triple9) -> (rule1 % int4)) ((triple4 triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
int6
((((((triple8) -> (rule8 % int5))) -> (rule4 % int4)) ((((((((triple8) -> (rule8 % int5))) -> (rule4 % int4)) ((triple8) -> (rule8 % int5))) -> (rule1 % int3)) triple8) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((triple5 ((((((((triple8) -> (rule8 % int6))) -> (rule4 % int5)) ((triple8) -> (rule8 % int6))) -> (rule1 % int4)) ((((((triple9) -> (rule4 % int5)) triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
int6
((((triple9) -> (rule4 % int6)) ((((((triple9) -> (rule4 % int6)) ((triple8) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple9) -> (rule4 % int6)) triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6
((((triple9) -> (rule4 % int6)) ((((((((triple8) -> (rule8 % int5))) -> (rule4 % int6)) triple9) -> (rule1 % int4)) ((((((triple9) -> (rule4 % int6)) triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6
((((triple9) -> (rule4 % int6)) ((((((((triple8) -> (rule8 % int5))) -> (rule4 % int6)) ((triple8) -> (rule8 % int5))) -> (rule1 % int4)) ((((triple5 triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6
((((((triple8) -> (rule8 % int6))) -> (rule4 % int5)) ((((triple5 ((triple8) -> (rule8 % int6))) -> (rule1 % int4)) ((((((triple9) -> (rule4 % int5)) triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
int6
((((((triple8) -> (rule8 % int6))) -> (rule4 % int5)) ((((((triple9) -> (rule4 % int5)) triple9) -> (rule1 % int4)) ((((((triple9) -> (rule4 % int5)) triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
int6
((((((triple8) -> (rule8 % int6))) -> (rule4 % int5)) ((((((((triple8) -> (rule8 % int6))) -> (rule4 % int5)) triple9) -> (rule1 % int4)) ((((triple5 triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
int6
((((((triple8) -> (rule8 % int6))) -> (rule4 % int5)) ((((((((triple8) -> (rule8 % int6))) -> (rule4 % int5)) ((triple8) -> (rule8 % int6))) -> (rule1 % int4)) ((triple4 triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
int6
((((triple9) -> (rule4 % int6)) ((((((((triple8) -> (rule8 % int5))) -> (rule4 % int6)) ((triple8) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple9) -> (rule4 % int6)) triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6
((((((triple8) -> (rule8 % int6))) -> (rule4 % int5)) ((((((triple9) -> (rule4 % int5)) ((triple8) -> (rule8 % int6))) -> (rule1 % int4)) ((((((triple9) -> (rule4 % int5)) triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
int6
((((((triple8) -> (rule8 % int6))) -> (rule4 % int5)) ((((((((triple8) -> (rule8 % int6))) -> (rule4 % int5)) triple9) -> (rule1 % int4)) ((((((triple9) -> (rule4 % int5)) triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
int6
((((((triple8) -> (rule8 % int6))) -> (rule4 % int5)) ((((((((triple8) -> (rule8 % int6))) -> (rule4 % int5)) ((triple8) -> (rule8 % int6))) -> (rule1 % int4)) ((((triple5 triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
int6
((((((triple8) -> (rule8 % int6))) -> (rule4 % int5)) ((((((((triple8) -> (rule8 % int6))) -> (rule4 % int5)) ((triple8) -> (rule8 % int6))) -> (rule1 % int4)) ((((((triple9) -> (rule4 % int5)) triple9) -> (rule1 % int4)) triple9) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
int6
Charlie is red.
("Charlie" "is" "red" "+")
triple7
Charlie is rough.
("Charlie" "is" "rough" "+")
triple8
((triple4 triple9) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((triple4 ((triple4 triple6) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((((triple5 triple9) -> (rule1 % int2)) triple9) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((((triple5 triple9) -> (rule1 % int3)) ((triple4 triple6) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((triple4 ((triple4 ((triple5 triple3) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((((triple9) -> (rule4 % int3)) triple9) -> (rule1 % int2)) triple9) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple5 triple9) -> (rule1 % int4)) ((triple4 ((triple5 triple3) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((((triple9) -> (rule4 % int4)) triple9) -> (rule1 % int3)) ((triple4 triple6) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple9) -> (rule4 % int5)) triple9) -> (rule1 % int4)) ((triple4 ((triple5 triple3) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
triple9
((triple8) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
((triple4 triple6) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
((triple4 ((triple5 triple3) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple8) -> (rule9 % int2)) triple6) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((((triple8) -> (rule9 % int3)) ((triple5 triple3) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((triple4 ((triple5 ((triple4 triple8) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple8) -> (rule9 % int4)) ((triple5 ((triple4 triple8) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((triple4 ((triple5 ((((triple8) -> (rule9 % int4)) triple8) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((triple8) -> (rule9 % int4)) ((triple5 ((((triple8) -> (rule9 % int4)) triple8) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
triple10
Gary is blue.
("Gary" "is" "blue" "+")
triple11
((((((triple12) -> (rule4 % int4)) triple12) -> (rule1 % int3)) ((((((triple12) -> (rule4 % int4)) triple12) -> (rule1 % int3)) triple12) -> (rule7 % int2))) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
triple12
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple10) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple12) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((((triple10) -> (rule4 % int2)) triple10) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
((((triple12) -> (rule4 % int2)) triple12) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
((((triple12) -> (rule4 % int2)) triple11) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((triple12) -> (rule4 % int5)) ((((((triple12) -> (rule4 % int5)) triple12) -> (rule1 % int4)) ((((((triple12) -> (rule4 % int5)) triple12) -> (rule1 % int4)) triple12) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
Fiona is rough.
("Fiona" "is" "rough" "+")
((((((triple10) -> (rule4 % int3)) triple10) -> (rule1 % int2)) triple10) -> (rule7 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
((((((triple12) -> (rule4 % int3)) triple12) -> (rule1 % int2)) triple12) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
((((((triple10) -> (rule4 % int4)) triple10) -> (rule1 % int3)) ((((((triple10) -> (rule4 % int4)) triple10) -> (rule1 % int3)) triple10) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
((((triple10) -> (rule4 % int5)) ((((((triple10) -> (rule4 % int5)) triple10) -> (rule1 % int4)) ((((((triple10) -> (rule4 % int5)) triple10) -> (rule1 % int4)) triple10) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5